Frank Theiss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2008–2009
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CADE | Progress in the Development of Automated Theorem Proving for Higher-Order Logic. | Geoff Sutcliffe, Christoph Benzmller, Chad E. Brown, Frank Theiss |
| 2008 | CADE | LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). | Christoph Benzmller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke |