Skip to content
cs-conference-ranking.org

Implementing and Evaluating Theorem Provers for First-Order Modal Logics.

Thomas Raths, Jens Otten

VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/RathsO11 ↗

Browse the full TABLEAUX paper archive.