PAAR-2014: Author Index

AuthorPapers
A
Arhami, NeginThe Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics
B
Bax, JoshuaA Model Guided Instantiation Heuristic for the Superposition Calculus with Theories
Bonacina, Maria PaolaSGGS Theorem Proving: an Exposition
C
Cruanes, SimonLogtk : A Logic ToolKit for Automated Reasoning and its Implementation
D
Dougherty, DanielRazor: Provenance and Exploration in Model-Finding
E
Echenim, MnachoA Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
G
Gauthier, ThibaultBeagle as a HOL4 external ATP method
K
Kaliszyk, CezaryBeagle as a HOL4 external ATP method
Machine Learner for Automated Reasoning 0.4 and 0.5
Keller, ChantalBeagle as a HOL4 external ATP method
N
Nassar, MuhammadAutomated Theorem Proving using the TPTP Process Instruction Language
Norrish, MichaelBeagle as a HOL4 external ATP method
P
Peltier, NicolasA Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
Plaisted, DavidSGGS Theorem Proving: an Exposition
S
Saghafi, SalmanRazor: Provenance and Exploration in Model-Finding
Sutcliffe, GeoffThe Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics
Automated Theorem Proving using the TPTP Process Instruction Language
T
Tourret, SophieA Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
U
Urban, JosefMachine Learner for Automated Reasoning 0.4 and 0.5
V
Vyskocil, JiriMachine Learner for Automated Reasoning 0.4 and 0.5
W
Waldmann, UweHierarchic Superposition Revisited
Wand, DanielPolymorphic+Typeclass Superposition