Search - INRIA - Institut National de Recherche en Informatique et en Automatique

		Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00134914v1 Preprints, Working Papers, ... Dmitry Sustretov. Topological Semantics and Decidability 2007
	inria-00172050v1 Preprints, Working Papers, ... Radu State, Cristi Stefan. An Asterisk monitoring infrastructure based on Nagios 2007
	inria-00187759v1 Preprints, Working Papers, ... Philippe de Groote, Sarah Maarek. Type-theoretic extensions of Abstract Categorial Grammars 2007
	inria-00141720v3 Preprints, Working Papers, ... Paul Brauner, Gilles Dowek, Benjamin Wack. Normalization in Supernatural deduction and in Deduction modulo 2007
	inria-00263536v1 Preprints, Working Papers, ... Amine Boumaza, Bruno Scherrer. Convergence and rate of convergence of simple ant models 2007
	hal-00941206v1 Preprints, Working Papers, ... Maxime Amblard, Christian Retoré. Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic 2007
		Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM