Login / Signup
PAAR@FLoC
2018
2018
2018
Keyphrases
Publications
2018
Michael Rawson
,
Giles Reger
Dynamic Strategy Priority: Empower the Strong and Abandon the Weak.
PAAR@FLoC
(2018)
Geoff Sutcliffe
,
Evgenii Kotelnikov
TFX: The TPTP Extended Typed First-Order Form.
PAAR@FLoC
(2018)
Ahmed Bhayat
,
Giles Reger
Set of Support for Higher-Order Reasoning.
PAAR@FLoC
(2018)
Gabriel Ebner
,
Matthias Schlaipfer
Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs.
PAAR@FLoC
(2018)
Ullrich Hustadt
,
Cláudia Nalon
,
Clare Dixon
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics.
PAAR@FLoC
(2018)
Jens Otten
Proof Search Optimizations for Non-Clausal Connection Calculi.
PAAR@FLoC
(2018)
Jørgen Villadsen
,
Anders Schlichtkrull
,
Asta Halkjær From
A Verified Simple Prover for First-Order Logic.
PAAR@FLoC
(2018)
volume 2162, 2018
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018.
PAAR@FLoC
2162 (2018)