La famille des langages de parentheses est une giniralisation judicieuse (due % Takahashi [9]) de la famille des langages parenthetiques. En effet, pour cette famille qui jouit de nombreuses prorriitis de cloture (comme la cloture par intersection, par exemple), Takahashi itend ies rksultaas connus sur les parenthetiques pour decider de l’iquivaience [9]. A i’inverse, nous prouvons ici que la f...

Mr. REID. Madam President, for the information of Senators, there will be no more votes today. I indicated earlier that we would be out by 6 today. A number of things are going on. We will work on a number of issues over the weekend, including the tobacco issue and other issues. We will vote on Monday at 5:30 on the cloture motions that were filed earlier this afternoon. The PRESIDING OFFICER. ...

While much has been written about the increase in filibustering over the past two decades, there has been very little discussion of the fact that, even today, opponents of legislation that could be filibustered often do not exercise this institutional right – even when doing so means the difference between defeat and passage of the measure. This study seeks to explain why legislation opposed by...

Soient p un nombre premier, et k un corps parfait de caractéristique p. On note W = W (k) l’anneau des vecteurs de Witt à coefficients dans k, K0 le corps des fractions deW et on fixe K une extension totalement ramifiée de K0 de degré e, d’anneau des entiers noté OK . On fixe également K̄ une cloture algébrique de K, on désigne par GK le groupe de Galois absolu de K et par I le sous-groupe d’ine...

We present a new proof methodology that uses dynamic process creation to capture the structure of recutsive distributed algorithms> Each recursive invocation of a distributed algorithm is modeled as a separate process, encouraging local reasoning about the individual recursive invocations and making explicit the communicatino that takes place among the concurrently executing invocations. Our me...

Specialiste de droit social et theorie du droit, titulaire la chaire « Etat mondialisation : analyse juridique des solidarites » 2012 a 2019, au College France, Alain Supiot synthetise, dans cette Lecon cloture, les resultats recherches menees pendant ces sept annees. Intitule Le travail n’est pas une marchandise – reference l’article premier Declaration Philadelphie –, ce livre concis permet d...