Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Corbineau, Pierre - Laboratory: VERIMAG, Université Joseph Fourier Grenoble
mars 2005 Journes Francophones des Langages Applicatifs JFLA05 Skip lists et arbres binaires de recherche
d'ordre : 7986 Thse de doctorat
Deciding equality in the constructor theory Pierre Corbineau
A Declarative Proof Language for the Coq Proof Assistant Pierre CORBINEAU
N # d'ordre : 7986 Thse de doctorat
Autour de la cloture de congruence avec Coq
First-order reasoning in the Calculus of Inductive Constructions
First-order reasoning in the Calculus of Inductive Constructions
Position paper: A real Semantic Web for mathematics deserves a real semantics
A Declarative Language for the Coq Proof Pierre Corbineau
Cooperative Repositories for Formal Proofs A Wiki-Based Solution
Reflecting Proofs in FirstOrder Logic with Equality # Evelyne Contejean and Pierre Corbineau
Reflecting Proofs in First-Order Logic with Equality Evelyne Contejean and Pierre Corbineau
A Declarative Proof Language for the Coq Proof Assistant Pierre CORBINEAU
