Proof search and proof check for equational and inductive theorems. (English)
Baader, Franz (ed.), Automated deduction ‒ CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 ‒ August 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40559-3/pbk). Lect. Notes Comput. Sci. 2741, 297-316 (2003).
1
Proof search and proof check for equational and inductive theorems (English)
CADE, 297-316 (2003).
2
Deduction versus computation: The case of induction. (English)
Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1‒5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 4-6 (2002).
3
Deduction versus computation: the case of induction (English)
AISC, 4-6 (2002).
4
Start
Contact
Print
General Help
