Frank Theiss

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 1

Top Topics

Theorem Proving

Top Venues

J. Autom. Reason.

Publications

Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss
The Higher-Order Prover Leo-II. J. Autom. Reason. 55 (4) (2015)
Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss
Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE (2009)
Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). IJCAR (2008)