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 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00992578v1 Article dans une revue Matthieu Perrinel. On paths-based criteria for polynomial time complexity in proof-nets Lecture notes in computer science, springer, 2014, Post-proceedings of the international workshop FOPARA 2013 (Workshop on Foundational and Practical A, pp.16
	hal-00992579v1 Communication dans un congrès Matthieu Perrinel. On Context Semantics and Interaction Nets CSL-LICS, Jul 2014, Austria. pp.10, 2014, <10.1145.2603088.2603155>
	tel-01204992v1 Thèse Matthieu Perrinel. Investigating the expressivity of linear logic subsystems characterizing polynomial time Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. < NNT : 2015ENSL1001 >
	ensl-00439911v2 Article dans une revue Pierre Lescanne, Perrinel Matthieu. On the Rationality of Escalation none, 2012, pp.23
	ensl-00692767v1 Article dans une revue Pierre Lescanne, Matthieu Perrinel. Backward'' Coinduction, Nash equilibrium and the Rationality of Escalation Acta Informatica, Springer Verlag, 2012, 49 (3), pp.117-137. <10.1007/s00236-012-0153-3>
		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 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM