Ausgabe 2/2015
Inhalt (3 Artikel)
Open Access
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers
Daniel Kühlwein, Josef Urban
The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)
Jared Davis, Magnus O. Myreen
Publisher's Erratum
Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders
Marta Cialdea Mayer