FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Bhayat, Ahmed	Set of Support for Higher-Order Reasoning (PDF, talk)
D
Dixon, Clare	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (PDF, talk)
E
Ebner, Gabriel	Efficient translation of sequent calculus proofs into natural deduction proofs (PDF, talk)
F
From, Andreas Halkjær	A Verified Simple Prover for First-Order Logic (PDF, talk)
H
Hustadt, Ullrich	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (PDF, talk)
K
Kotelnikov, Evgenii	TFX: The TPTP Extended Typed First-order Form (PDF, talk)
M
Myreen, Magnus O.	The CakeML Verified Compiler and Toolchain (PDF, talk)
N
Nalon, Cláudia	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (PDF, talk)
O
Otten, Jens	Proof Search Optimizations for Non-clausal Connection Calculi (PDF, talk)
R
Rawson, Michael	Dynamic Strategy Priority: Empower the strong and abandon the weak (PDF, talk)
Reger, Giles	Set of Support for Higher-Order Reasoning (PDF, talk) Dynamic Strategy Priority: Empower the strong and abandon the weak (PDF, talk)
S
Schlaipfer, Matthias	Efficient translation of sequent calculus proofs into natural deduction proofs (PDF, talk)
Schlichtkrull, Anders	A Verified Simple Prover for First-Order Logic (PDF, talk)
Sutcliffe, Geoff	TFX: The TPTP Extended Typed First-order Form (PDF, talk)
V
Villadsen, Jørgen	A Verified Simple Prover for First-Order Logic (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program