Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

152 résultats
keyword_s : Réécriture
Page :
triés par

Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve

 Quang Huy Nguyen
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2002. Français. ⟨NNT : 2002NAN10144⟩
Thèse tel-01746719v1

Réécriture en présence de choix probabilistes

 Mathieu Hoyrup
[Stage] A02-R-424 || hoyrup02a, 2002
Rapport inria-00100886v1

Towards Efficient Automated Verification of Security Protocols

 Yannick Chevalier , Laurent Vigneron
Verification Workshop - VERIFY'01 (in connection with IJCAR'01), Jun 2001, Siena, Italy, 15 p
Communication dans un congrès inria-00101104v1
Image document

Reachability analysis of rewriting for software verification

 Thomas Genet
Software Engineering [cs.SE]. Université Rennes 1, 2009
HDR tel-00477013v2
Image document

Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité

 Frédéric Blanqui
Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012
HDR tel-00724233v2

Certification des preuves de terminaison par interprétations polynomiales

 Sébastien Hinderer
[Stage] A04-R-489 || hinderer04a, 2004, 29 p
Rapport inria-00099929v1
Image document

$\rho$-Calculus. Its Syntax and Basic Properties

 Horatiu Cirstea , Claude Kirchner
[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
Rapport inria-00098735v1
Image document

Aspects typés du calcul de réécriture

 Benjamin Wack
[Stage] A02-R-175 || wack02a, 2002, 44 p
Rapport inria-00099418v1
Image document

Towards a Methodology for Rule-Based Programming

 Carlos Castro , Claude Kirchner
[Intern report] A02-R-529 || castro02a, 2002, 24 p
Rapport inria-00099428v1

Environments for Term Rewriting Engines for Free!

 Mark G. J. van den Brand , Pierre-Etienne Moreau , Jurgen Vinju
International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valence, Espagne, pp.424-435
Communication dans un congrès inria-00099704v1

Formalisation et évaluation de politiques P3P

 Vincent Cridlig , Olivier Festor , Jacques Guyard , Pierre-Etienne Moreau
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2003, Oct 2003, Paris, France, 16 p
Communication dans un congrès inria-00099551v1

Rewriting and Multisets in Rho-calculus and ELAN

 Horatiu Cirstea , Claude Kirchner
Romanian Journal of Information Science and Technology, 2001, 4 (1-2), pp.33--48
Article dans une revue inria-00100656v1

External rewriting for skeptical proof assistants (extended version)

 Quang-Huy Nguyen , Claude Kirchner , Hélène Kirchner
[Intern report] A02-R-099 || nguyen02a, 2002, 45 p
Rapport inria-00101055v1
Image document

Proving weak termination also provides the right way to terminate - extended version

 Olivier Fissore , Isabelle Gnaedig , Hélène Kirchner
[Intern report] A03-R-361 || fissore03c, 2003, 34 p
Rapport inria-00107744v1

Induction for termination

 Isabelle Gnaedig , Hélène Kirchner , Olivier Fissore
[Intern report] A00-R-357 || gnaedig00a, 2000, pp.22
Rapport inria-00099315v1

A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms

 Olivier Bournez , Guy-Marie Côme , Valérie Conraud , Hélène Kirchner , Liliana Ibanescu
14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.30-45
Communication dans un congrès inria-00099621v1
Image document

Proof Search and Proof Check for Equational and Inductive Theorems

 Eric Deplagne , Claude Kirchner , Hélène Kirchner , Quang Huy Nguyen
Conference on Automated Deduction - CADE-19, Jul 2003, Miami (FL), United States. 20 p, ⟨10.1007/978-3-540-45085-6_26⟩
Communication dans un congrès istex inria-00099470v1
Image document

Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique

 Cyrille Chenavier
Mathématiques [math]. Université paris Diderot, 2016. Français. ⟨NNT : ⟩
Thèse tel-01415910v1
Image document

Extensions des automates d'arbres pour la vérification de systèmes à états infinis

 Valérie Murat
Performance et fiabilité [cs.PF]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S033⟩
Thèse tel-01065696v1
Image document

Réécriture et compilation de confiance

 Antoine Reilles
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2006. Français. ⟨NNT : 2006INPL084N⟩
Thèse tel-01752777v1
Image document

Contraintes d'ordre et automates d'arbres pour les preuves de terminaison

 Thomas Genet
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10245⟩
Thèse tel-01747412v1
Image document

Analyse des protocoles cryptographiques: des modèles symboliques aux modèles calculatoires

 Véronique Cortier
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2009
HDR tel-00578816v1
Image document

A Tool for Lazy Verification of Security Protocols

 Yannick Chevalier , Laurent Vigneron
[Intern report] A01-R-140 || chevalier01b, 2001, 10 p
Rapport inria-00107545v1
Image document

Typage et déduction dans le calcul de réécriture

 Benjamin Wack
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2005. Français. ⟨NNT : ⟩
Thèse tel-00010546v1

The Simply-typed Pure Pattern Type System Ensures Strong Normalization

 Benjamin Wack
3rd IFIP International Conference on Theoretical Computer Science - TCS'2004, Jean-Jacques Lévy, 2004, Toulouse, France, pp.633-646
Communication dans un congrès inria-00100109v1

A Generalization of Equational Proof Theory?

 Olivier Bournez
Second Joint International Workshop on Process Algebras and Performance Modeling / Probabilistic Methods In Verification - PAPM-PROBMIV'02, Jul 2002, Copenhagen, Denmark, pp.207-208
Communication dans un congrès inria-00100885v1

ASF+SDF parsing tools applied to ELAN

 Mark G. J. van den Brand , Christophe Ringeissen
Third International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japon, 20 p
Communication dans un congrès inria-00099385v1

Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN

 Horatiu Cirstea , Claude Kirchner
FroCoS'98, 1998, Amsterdam, The Netherlands, 25 p
Communication dans un congrès inria-00098808v1

A Generalization of Equational Proof Theory?

 Olivier Bournez
[Intern report] A02-R-333 || bournez02e, 2002, 2 p
Rapport inria-00101069v1

Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae

 David Déharbe , Anamaria Martins Moreira , Christophe Ringeissen
International Conference on Rewriting Techniques and Applications - RTA'2002, Thomas Arts, Jul 2002, Copenhagen, Denmark, pp.207-221
Communication dans un congrès inria-00100863v1
Page :