Preview
Unable to display preview. Download preview PDF.
References
P. B. Andrews, M. Bishop, S. Issar, D. Nesmith, F. Pfenning, and H. Xi. TPS: A theorem proving system for classical type theory. Journal of Automated Reasoning, 16(3):321–353, 1996.
C. Benzmüller. A Calculus and a System Architecture for Extensional Higher-Order Resolution. Research Report 97-198, Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, USA, June 1997.
C. Benzmüller and M. Kohlhase. Extensional Higher-Order Resolution. Proc. CADE-15, this volume, 1998.
P. Graf. Term Indexing. Number 1053 in LNCS. Springer Verlag, 1996.
X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts, and J. Siekmann. Keim: A toolkit for automated deduction. In Alan Bundy, editor, Proc. CADE-13, number 814 in LNAI, pages 807–810, 1994. Springer Verlag.
G. P. Huet. An unification algorithm for typed λ-calculus. Theoretical Computer Science, 1:27–57, 1975.
L. Klein. Indexing für Terme höherer Stufe. Master's thesis, FB Informatik, UniversitÄt des Saarlandes, 1997.
M. Kohlhase. A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle. PhD thesis, UniversitÄt des Saarlandes, 1994.
D. Miller. Unification under a mixed prefix. Journal of Symbolic Computation, 14:321–358, 1992.
Z. Trybulec and H. Swieczkowska. Boolean properties of sets. Journal of Formalized Mathematics, 1, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benzmüller, C., Kohlhase, M. (1998). System description: Leo — A higher-order theorem prover. In: Kirchner, C., Kirchner, H. (eds) Automated Deduction — CADE-15. CADE 1998. Lecture Notes in Computer Science, vol 1421. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054256
Download citation
DOI: https://doi.org/10.1007/BFb0054256
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64675-4
Online ISBN: 978-3-540-69110-5
eBook Packages: Springer Book Archive