Reflecting Proofs in First-Order Logic with Equality

Évelyne Contejean 1, 2 Pierre Corbineau 3
2 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Communication dans un congrès
Robert Nieuwenhuis. 20th International Conference on Automated Deduction (CADE-20), 2005, Tallinn, Estonia. Springer, 3632, pp.7--22, 2005, LNAI. 〈10.1007/11532231_2〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00946061
Contributeur : Evelyne Contejean <>
Soumis le : jeudi 13 février 2014 - 13:38:11
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02

Lien texte intégral

Identifiants

Collections

Citation

Évelyne Contejean, Pierre Corbineau. Reflecting Proofs in First-Order Logic with Equality. Robert Nieuwenhuis. 20th International Conference on Automated Deduction (CADE-20), 2005, Tallinn, Estonia. Springer, 3632, pp.7--22, 2005, LNAI. 〈10.1007/11532231_2〉. 〈hal-00946061〉

Partager

Métriques

Consultations de la notice

233