Skip to Main content Skip to Navigation


tel-01746842v1  Theses
Olivier Fissore. Terminaison de la réécriture sous stratégies
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10176⟩
...
tel-01750475v1  Theses
Guillaume Bonfante. Constructions d'ordres, analyse de la complexité
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL102N⟩
...
tel-01751072v1  Theses
Philippe Beaucamps. Analyse de programmes malveillants par abstraction de comportements
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL092N⟩
...
tel-01415945v1  Theses
Raphaël Cauderlier. Object-Oriented Mechanisms for Interoperability between Proof Systems
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
...
hal-02101787v1  Reports
Judicael Courant. Proof reconstruction (preliminary version).
[Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p
...
tel-00672699v1  Theses
Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
...
tel-00477013v2  Habilitation à diriger des recherches
Thomas Genet. Reachability analysis of rewriting for software verification
Software Engineering [cs.SE]. Université Rennes 1, 2009
...
tel-02161197v1  Habilitation à diriger des recherches
Yves Guiraud. Rewriting methods in higher algebra
Category Theory [math.CT]. Université Paris 7, 2019
...
tel-00646395v1  Theses
Philippe Beaucamps. Analyse de Programmes Malveillants par Abstraction de Comportements
Logique en informatique [cs.LO]. Institut National Polytechnique de Lorraine - INPL, 2011. Français
...
tel-00724233v2  Habilitation à diriger des recherches
Frédéric Blanqui. Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité
Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012
...
tel-01748119v1  Theses
Hubert Dubois. Système de règles de production et calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10123⟩
...
tel-00656766v1  Habilitation à diriger des recherches
Guillaume Bonfante. Complexité implicite des calculs : interprétation de programmes
Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
...
tel-01749159v2  Theses
Cláudia Tavares. A type system for embedded rewriting programming
Software Engineering [cs.SE]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0015⟩
...
tel-01747412v1  Theses
Thomas Genet. Contraintes d'ordre et automates d'arbres pour les preuves de terminaison
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10245⟩
...
hal-02102103v1  Reports
Frédéric LangDaniel DoughertyPierre LescanneKristoffer Rose. Addressed Term Rewriting Systems
[Research Report] LIP RR-1999-30, Laboratoire de l'informatique du parallélisme. 1999, 2+34p
tel-01747674v1  Theses
Sohame Selhab. Logiques et réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10207⟩
tel-01746546v1  Theses
Benjamin Wack. Typage et déduction dans le calcul de réécriture
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2005. Français. ⟨NNT : 2005NAN10119⟩