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 ce document Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	pastel-00622429v1 Thèse Jorge Sacchini. On type-based termination and dependent pattern matching in the calculus of inductive constructions Performance [cs.PF]. École Nationale Supérieure des Mines de Paris, 2011. English. <NNT : 2011ENMP0022>
		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 ce document Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM