Thomas Raths
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2005–2014
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CADE | Problem Libraries for Non-Classical Logics. | Jens Otten, Thomas Raths |
| 2013 | LPAR | HOL Based First-Order Modal Logic Provers. | Christoph Benzmller, Thomas Raths |
| 2012 | CADE | Implementing Different Proof Calculi for First-order Modal Logics. | Christoph Benzmller, Jens Otten, Thomas Raths |
| 2012 | CADE | The QMLTP Problem Library for First-Order Modal Logics. | Thomas Raths, Jens Otten |
| 2012 | ECAI | Implementing and Evaluating Provers for First-order Modal Logics. | Christoph Benzmller, Jens Otten, Thomas Raths |
| 2011 | TABLEAUX | Implementing and Evaluating Theorem Provers for First-Order Modal Logics. | Thomas Raths, Jens Otten |
| 2008 | CADE | randoCoP: Randomizing the Proof Search Order in the Connection Calculus. | Thomas Raths, Jens Otten |
| 2005 | TABLEAUX | The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. | Thomas Raths, Jens Otten, Christoph Kreitz |