Vincent Demange

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Learning Design

Digital Forensics

Top Venues

J. Log. Comput.

J. Univers. Comput. Sci.

University of Lorraine, France (PHD)

Education History

University of Lorraine, France

PHD

Publications

Vincent Demange
case. J. Log. Comput. 25 (3) (2015)
Loïc Colson, Vincent Demange
Investigations on a Pedagogical Calculus of Constructions. J. Univers. Comput. Sci. 19 (6) (2013)
Loïc Colson, Vincent Demange
Investigations on a Pedagogical Calculus of Constructions CoRR (2012)
Sorin Stratulat, Vincent Demange
Automated Certification of Implicit Induction Proofs. CPP (2011)