Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 11 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00073364v1 Rapport Thomas Genet. Decidable Approximations of Sets of Descendants and Sets of Normal Forms - extended version [Research Report] RR-3325, INRIA. 1997, pp.28
	inria-00073604v1 Rapport Thomas Genet, Isabelle Gnaedig. Termination Proofs Using gpo Ordering Constraints : Extended Version [Research Report] RR-3087, INRIA. 1997, pp.37
	inria-00098943v1 Rapport Isabelle Gnaedig, Hélène Kirchner, Thomas Genet. Induction for Termination [Intern report] 99-R-338 \|\| gnaedig99a, 1999, 21 p
	inria-00098700v1 Communication dans un congrès Thomas Genet. Decidable Approximations of Sets of Descendants and Sets of Normal forms 9th Conference on Rewriting Techniques and Applications, 1998, Tsukuba, Japan, Springer-Verlag, 1379, pp.151-165, 1998, Lecture Notes in Computer Science
	hal-00463418v1 Communication dans un congrès Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux. Rewriting Approximations for Fast Prototyping of Static Analyzers Rewriting Techniques and Applications, 2007, France. pp.48-62, 2007
	inria-00072321v1 Rapport Thomas Genet, Valérie Viet Triem Tong. Reachability Analysis of Term Rewriting Systems with Timbuk [Research Report] RR-4266, INRIA. 2001
	inria-00072731v1 Rapport Thomas Genet, Francis Klay. Rewriting for Cryptographic Protocol Verification - Extended Version [Research Report] RR-3921, INRIA. 2000
	inria-00071609v1 Rapport Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong. Reachability Analysis over Term Rewriting Systems [Research Report] RR-4970, INRIA. 2003
	inria-00072012v1 Rapport Thomas Genet, Valérie Viet Triem Tong. Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation [Research Report] RR-4576, INRIA. 2002
	hal-00687310v2 Rapport Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat. Tree Regular Model Checking for Lattice-Based Automata [Technical Report] RT-0424, INRIA. 2012, pp.33
	hal-00463426v1 Communication dans un congrès Yohan Boichut, Thomas Genet. Feasible Trace Reconstruction for Rewriting Approximations RTA'2006, Aug 2006, Seattle, United States. pp.123-135, 2006
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 11 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM