Talk Author Index

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