Reflecting proofs in first-order logic with equality (2005)

Cached

Download Links

by Evelyne Contejean , Pierre Corbineau
Venue:In Proceedings of EUROSPEECH’97
Citations:10 - 3 self

Active Bibliography

751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
132 E - A Brainiac Theorem Prover – Stephan Schulz - 2002
1 Kleene Algebras, Rewriting Modulo AC, and Circuits In Coq – Thomas Braibant - 2012
devant le jury composé de: – Docteur De, L’université De Grenoble, Spécialité Mathématiques Informatique, Présentée Par, Cyril Crassin, Thèse Dirigée Par Fabrice Neyret, Mathias Paulin, Université Paul Sabatier, Michael Wimmer, Jean-michel Dischler, Carsten Dachsbacher, Miguel Sainz, Francois Sillion, Fabrice Neyret - 2006
Advances in Equational Theorem Proving -- . . . – Bernd Löchner - 2005
122 Completion Without Failure – Leo Bachmair, Nachum Dershowitz, David A. Plaisted - 1989
114 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999