References
1. AUBIN, R. Mechanizing Structural Induction. Part I: Formal System, Part II: Strategies. Theoretical Computer Science 9 (1979).
2. BIUNDO, S. A Synthesis System Mechanizing Proofs by Induction. Proceedings Seventh ECAI (Brighton 1986).
3. BOYER, R.S. and MOORE, J S. A Computational Logic. Academic Press (1979).
4. EISINGER, N. and OHLBACH, H.J. The Markgraph Karl Refutation Procedure (MKRP). Prooceedings Eighth CADE (Oxford 1986), this volume.
5. HUTTER, D. Using resolution and paramodulation for induction proofs. Interner Bericht 6/86, Universität Karlsruhe, Inst. f. Informatik I (1986).
6. WALTHER, C. A many-sorted calculus based on resolution and paramodulation. Proceedings Eighth IJCAI (Karlsruhe 1983).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Biundo, S., Hummel, B., Hutter, D., Walther, C. (1986). The karlsruhe induction theorem proving system. In: Siekmann, J.H. (eds) 8th International Conference on Automated Deduction. CADE 1986. Lecture Notes in Computer Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_132
Download citation
DOI: https://doi.org/10.1007/3-540-16780-3_132
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16780-8
Online ISBN: 978-3-540-39861-5
eBook Packages: Springer Book Archive