Academic literature on the topic 'Commutation de règle'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Commutation de règle.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Commutation de règle"
LaRose, André. "Objectif : commutation de tenure." Revue d’histoire de l’Amérique française 66, no. 3-4 (June 11, 2014): 365–93. http://dx.doi.org/10.7202/1025534ar.
Full textBelan, Pascal. "Systèmes de retraite et redistribution intragénérationnelle." Recherches économiques de Louvain 63, no. 1 (1997): 57–77. http://dx.doi.org/10.1017/s0770451800008216.
Full textRoux, Nicolas, Frédéric Richardeau, Henri Foch, and Hubert Piquet. "Introduction de la commutation automatique dans la conversion statique de l'énergie électrique. Principe et règles de base." Revue internationale de génie électrique 9, no. 6 (December 30, 2006): 657–91. http://dx.doi.org/10.3166/rige.9.657-691.
Full textRoux, Nicolas, Frédéric Richardeau, Henri Foch, and Hubert Piquet. "Introduction de la commutation automatique dans la conversion statique de l'énergie électrique. Principe et règles de base." Revue internationale de génie électrique 9, no. 1 (February 2006): 7–34. http://dx.doi.org/10.3166/rige.9.7-34.
Full textRosolino, Riccardo. "Vices tyranniques." Annales. Histoire, Sciences Sociales 68, no. 3 (September 2013): 793–819. http://dx.doi.org/10.1017/s0395264900016073.
Full textDissertations / Theses on the topic "Commutation de règle"
Di, Guardia Rémi. "Identity of Proofs and Formulas using Proof-Nets in Multiplicative-Additive Linear Logic." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0050.
Full textThis study is concerned with the equality of proofs and formulas in linear logic, with in particular contributions for the multiplicative-additive fragment of this logic. In linear logic, and as in many other logics (such as intuitionistic logic), there are two transformations on proofs: cut-elimination and axiom-expansion. One often wishes to identify two proofs related by these transformations, as it is the case semantically (in a categorical model for instance). This situation is similar to the one in the λ-calculus where terms are identified up to β-reduction and η-expansion, operations that, through the prism of the Curry-Howard correspondence, are related respectively to cut-elimination and axiom-expansion. We show here that this identification corresponds exactly to identifying proofs up to rule commutation, a third well-known operation on proofs which is easier to manipulate. We prove so only in multiplicative-additive linear logic, even if we conjecture such a result holds in full linear logic.Not only proofs but also formulas can be identified up to cut-elimination and axiom-expansion. Two formulas are isomorphic if there are proofs between them whose compositions yield identities, still up to cut-elimination and axiom-expansion. These formulas are then really considered to be the same, and every use of one can be replaced with one use of the other. We give an equational theory characterizing exactly isomorphic formulas in multiplicative-additive linear logic. A generalization of an isomorphism is a retraction, which intuitively corresponds to a couple of formulas where the first can be replaced by the second -- but not necessarily the other way around, contrary to an isomorphism. Studying retractions is more complicated, and we characterize retractions to an atom in the multiplicative fragment of linear logic.When studying the two previous problems, the usual syntax of proofs from sequent calculus seems ill-suited because we consider proofs up to rule commutation. Part of linear logic can be expressed in a better adapted syntax in this case: proof-nets, which are graphs representing proofs quotiented by rule commutation. This syntax was an instrumental tool for the characterization of isomorphisms and retractions. Unfortunately, proof-nets are not (or badly) defined with units. Concerning our issues, this restriction leads to a study of the unit-free case by means of proof-nets with the crux of the demonstration, preceded by a work in sequent calculus to handle the units. Besides, this thesis also develops part of the theory of proof-nets by providing a simple proof of the sequentialization theorem, which relates the two syntaxes of proof-net and sequent calculus, substantiating that they describe the same underlying objects. This new demonstration is obtained as a corollary of a generalization of Yeo's theorem. This last result is fully expressed in the theory of edge-colored graphs, and allows to recover proofs of sequentialization for various definitions of proof-nets. Finally, we also formalized proof-nets for the multiplicative fragment of linear logic in the proof assistant Coq, with notably an implementation of our new sequentialization proof
Books on the topic "Commutation de règle"
Bill: Acte pour amender l'acte passé la huitième année du règne de Sa Majesté, intitulé "Acte pour faciliter la commutation volontaire de la tenure des terres en roture situées dans les fiefs et seigneuries du Bas-Canada .. [Montréal?: s.n., 1986.
Find full textBook chapters on the topic "Commutation de règle"
USTIMENKO, Vasyl. "Algorithmes multivariés de signatures numériques en mode sécurisé de type El Gamal." In Méthodes de calcul et modélisation mathématique en cyberphysique et applications techniques 1, 207–33. ISTE Group, 2024. https://doi.org/10.51926/iste.9164.ch8.
Full text