Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

7 résultats
Page :
triés par
Image document

Vers un calcul des constructions pédagogique

 Vincent Demange
Logique en informatique [cs.LO]. Université de Metz; Université de Lorraine, 2012. Français. ⟨NNT : ⟩
Thèse tel-00838147v1
Image document

A sequent calculus with labels for Public Announcement Logic

 Philippe Balbiani , Vincent Demange , Didier Galmiche
Conference on Advances in Modal Logic (AiML 2014), 2014, Groningen, Netherlands
Communication dans un congrès hal-01259783v1
Image document

Pedagogical lambda-cube: the λ² case

 Vincent Demange
2014
Pré-publication, Document de travail hal-00958835v1
Image document

Investigations on a Pedagogical Calculus of Constructions

 Loïc Colson , Vincent Demange
Journal of Universal Computer Science, 2013, 19 (6), pp.729-749. ⟨10.3217/jucs-019-06-0729⟩
Article dans une revue hal-00678784v1
Image document

Automated Certification of Implicit Induction Proofs

 Sorin Stratulat , Vincent Demange
Certified Programs and Proofs, Dec 2011, Kenting, Taiwan
Communication dans un congrès hal-00644876v1
Image document

Petites exploitations agricoles : quels soutiens de la puissance publique ?

 Lamine Défoukouémou Himbé , Loic Rognan , Laetitia de Monicault , Vincent Demange
[Rapport de recherche] ENA. 2016
Rapport halshs-01664328v1
Image document

Vers un calcul des constructions pédagogique

 Vincent Demange
Autre [cs.OH]. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0388⟩
Thèse tel-01749591v1
Page :