Publications
Chapters in Books on LEO-II (more to come)
Conference and Workshop Papers on LEO-II (more to come)
- [LEO-C4]
Ch. Benzmüller, G. Sutcliffe, F. Rabe.
The THF Syntax.
In Preparation.
- [LEO-C3]
Ch. Benzmüller, L. Paulson, F. Theiss, A. Fietzke.
Progress Report on LEO-II, an Automatic Theorem Prover for Higher-Order Logic.
TPHOLs Emerging Trends.
2007.
- [LEO-C2]
C. Benzmüller, L. Paulson, F. Theiss, A. Fietzke.
The LEO-II Project.
ARW'07.
2007.
- [LEO-C1]
C. Benzmüller, F. Theiss.
Term Indexing for the LEO-II Prover.
IWIL'06 workshop at LPAR'06.
2006.
Posters on LEO-II (more to come)
- [LEO-P4]
C. Benzmüller, L. Paulson, F. Theiss, A. Fietzke. LEO-II, A Higher-Order Theorem Prover. TPHOLs Emerging Trends.
2007.
- [LEO-P3]
C. Benzmüller, L. Paulson, F. Theiss, A. Fietzke.
The LEO-II Project.
University of Cambridge Project Poster.
2007.
- [LEO-P2]
C. Benzmüller, L. Paulson, F. Theiss, A. Fietzke.
The LEO-II Project.
Deduktionstreffen.
2007.
- [LEO-P1]
C. Benzmüller, F. Theiss.
Term Indexing for the LEO-II Prover.
Deduktionstreffen.
2007.