|
 
|
Vincent Demange
|
ATER Equipe SYS Parti depuis le 01/09/2013 Mail : vincent.demange  ensiie.fr
http://lita.sciences.univ-metz.fr/~demange/ |
Publications
2012
-
[Dem12]
V. Demange.
"Vers un calcul des constructions pédagogique",
Soutenue le: 07 December 2012,
pp. 139,
Mémoire de Thèse
2011
-
[SD11]
S. Stratulat, V. Demange.
"Automated Certification of Implicit Induction Proofs",
Certified Programs and Proofs,
December 2011,
Vol. 7086,
pp.37-53,
Series Lecture Notes in Computer Science,
Kenting,
Taiwan,
(DOI: 10.1007/978-3-642-25379-9_5)
-
[CD11a]
L. Colson, V. Demange.
"Investigations on a Pedagogical Calculus of Constructions",
Date de dépot: 2011/05/16,
Nb pages 18,
(Tech. Rep.: CEDRIC-11-2736)
