PAAR 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E G K N P S T U V W

A
Arhami, Negin	The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics (PDF, talk)
B
Bax, Joshua	A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories (PDF, talk)
Bonacina, Maria Paola	SGGS Theorem Proving: an Exposition (PDF, talk)
C
Cruanes, Simon	Logtk : A Logic ToolKit for Automated Reasoning and its Implementation (PDF, talk)
D
Dougherty, Daniel	Razor: Provenance and Exploration in Model-Finding (PDF, talk)
E
Echenim, Mnacho	A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses (PDF, talk)
G
Gauthier, Thibault	Beagle as a HOL4 external ATP method (PDF, talk)
K
Kaliszyk, Cezary	Beagle as a HOL4 external ATP method (PDF, talk) Machine Learner for Automated Reasoning 0.4 and 0.5 (PDF, talk)
Keller, Chantal	Beagle as a HOL4 external ATP method (PDF, talk)
N
Nassar, Muhammad	Automated Theorem Proving using the TPTP Process Instruction Language (PDF, talk)
Norrish, Michael	Beagle as a HOL4 external ATP method (PDF, talk)
P
Peltier, Nicolas	A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses (PDF, talk)
Plaisted, David	SGGS Theorem Proving: an Exposition (PDF, talk)
S
Saghafi, Salman	Razor: Provenance and Exploration in Model-Finding (PDF, talk)
Sutcliffe, Geoff	The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics (PDF, talk) Automated Theorem Proving using the TPTP Process Instruction Language (PDF, talk)
T
Tourret, Sophie	A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses (PDF, talk)
U
Urban, Josef	Machine Learner for Automated Reasoning 0.4 and 0.5 (PDF, talk) BliStr: The Blind Strategymaker (PDF, talk)
V
Vyskocil, Jiri	Machine Learner for Automated Reasoning 0.4 and 0.5 (PDF, talk)
W
Waldmann, Uwe	Hierarchic Superposition Revisited (PDF, talk)
Wand, Daniel	Polymorphic+Typeclass Superposition (PDF, talk)