Thomas Raths

Evaluating Automated Theorem Provers for First-Order Modal Logics

Thomas Raths, J. Otten, 2011 .

The QMLTP Library: Benchmarking Theorem Provers for Modal Logics

Thomas Raths, J. Otten, 2011 .

Building a Problem Library for First-Order Modal Logics

Thomas Raths, J. Otten, 2009 .

Problem Library for Intuitionistic Logic Release v 1 . 1

C. Kreitz, Thomas Raths, J. Otten, 2007 .

HOL Based First-Order Modal Logic Provers

Christoph Benzmüller, Thomas Raths, Christoph Benzmüller, 2013, LPAR.

The ILTP Problem Library for Intuitionistic Logic

Christoph Kreitz, Jens Otten, Thomas Raths, 2007, Journal of Automated Reasoning.