Conference Papers
Year : 2005
Evelyne Contejean : Connect in order to contact the contributor
https://inria.hal.science/hal-00946061
Submitted on : Thursday, February 13, 2014-1:38:11 PM
Last modification on : Friday, March 24, 2023-2:52:58 PM
Cite
É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⟩
168
View
0
Download