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 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	tel-00724233v2 HDR 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-00105522v1 Thèse Frédéric Blanqui. Théorie des types et réécriture Autre [cs.OH]. Université Paris Sud - Paris XI, 2001. Français
		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 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM