Frank Theiss

According to our database, Frank Theiss authored at least 3 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

The Higher-Order Prover Leo-II.

Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiss

J. Autom. Reason., 2015

2009

Progress in the Development of Automated Theorem Proving for Higher-Order Logic.

Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss

Proceedings of the Automated Deduction, 2009

2008

LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).

Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008