Literatura académica sobre el tema "Commutation de règle"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Commutation de règle".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Commutation de règle"
LaRose, André. "Objectif : commutation de tenure". Revue d’histoire de l’Amérique française 66, n.º 3-4 (11 de junio de 2014): 365–93. http://dx.doi.org/10.7202/1025534ar.
Texto completoBelan, Pascal. "Systèmes de retraite et redistribution intragénérationnelle". Recherches économiques de Louvain 63, n.º 1 (1997): 57–77. http://dx.doi.org/10.1017/s0770451800008216.
Texto completoRoux, Nicolas, Frédéric Richardeau, Henri Foch y 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, n.º 6 (30 de diciembre de 2006): 657–91. http://dx.doi.org/10.3166/rige.9.657-691.
Texto completoRoux, Nicolas, Frédéric Richardeau, Henri Foch y 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, n.º 1 (febrero de 2006): 7–34. http://dx.doi.org/10.3166/rige.9.7-34.
Texto completoRosolino, Riccardo. "Vices tyranniques". Annales. Histoire, Sciences Sociales 68, n.º 3 (septiembre de 2013): 793–819. http://dx.doi.org/10.1017/s0395264900016073.
Texto completoTesis sobre el tema "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.
Texto completoThis 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
Libros sobre el tema "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.
Buscar texto completoCapítulos de libros sobre el tema "Commutation de règle"
USTIMENKO, Vasyl. "Algorithmes multivariés de signatures numériques en mode sécurisé de type El Gamal". En 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.
Texto completo