Skip to Main content Skip to Navigation
Conference papers

Reflecting Proofs in First-Order Logic with Equality

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00946061
Contributor : Evelyne Contejean <>
Submitted on : Thursday, February 13, 2014 - 1:38:11 PM
Last modification on : Thursday, July 8, 2021 - 3:49:24 AM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

615