Christophe Dehlinger

Publication Activity (10 Years)

Years Active: 2000-2014
Publications (10 Years): 0

Top Topics

Specification Languages

Object Oriented Design

Data Abstraction

Top Venues

Publications

Christophe Dehlinger, Jean-François Dufourd
Formal specification and proofs for the topology and classification of combinatorial surfaces. Comput. Geom. 47 (9) (2014)
Christophe Dehlinger, Jean-François Dufourd
Formalizing the trading theorem in Coq. Theor. Comput. Sci. 323 (1-3) (2004)
Christophe Dehlinger, Jean-François Dufourd
Formalizing generalized maps in Coq. Theor. Comput. Sci. 323 (1-3) (2004)
Christophe Dehlinger, Jean-François Dufourd
Formalizing the Trading Theorem for the Classification of Surfaces. TPHOLs (2002)
Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. Automated Deduction in Geometry (2000)