Reflecting proofs in first-order logic with equality (2005)
by
Evelyne Contejean
,
Pierre Corbineau
| Venue: | In Proceedings of EUROSPEECH’97 |
| Citations: | 10 - 3 self |
Document Versions
| Reflecting proofs in first-order logic with equality –Evelyne Contejean, Pierre Corbineau — 2005 — In Proceedings of EUROSPEECH’97 |
