PAAR-2010: Author Index

AuthorPapers
A
Afifi, DjihedAutomated Reasoning in the Simulation of Evolvable Systems
B
Barringer, HowardAutomated Reasoning in the Simulation of Evolvable Systems
Benzmüller, ChristophProgress in Automating Higher-Order Ontology Reasoning
Bouton, ThomasGridTPT: a distributed platform for Theorem Prover Testing
C
Caminha B de Oliveira, DiegoGridTPT: a distributed platform for Theorem Prover Testing
D
Dang, Han-HingAutomated Higher-order Reasoning about Quantales
Deharbe, DavidGridTPT: a distributed platform for Theorem Prover Testing
F
Fiorino, GuidoFast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
Fleuriot, JacquesAutomation for Geometry in Isabelle/HOL
Fontaine, PascalGridTPT: a distributed platform for Theorem Prover Testing
H
Hustadt, UllrichA Comparison of Solvers for Propositional Dynamic Logic
Höfner, PeterAutomated Higher-order Reasoning about Quantales
M
Matusiewicz, AndrewTrie Based Subsumption and Improving the pi-Trie Algorithm
Meikle, LauraAutomation for Geometry in Isabelle/HOL
Murray, NeilTrie Based Subsumption and Improving the pi-Trie Algorithm
O
Otten, JensUsing the TPTP Language for Representing Derivations in Tableau and Connection Calculi
P
Paulson, Lawrence C.Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers
Pease, AdamProgress in Automating Higher-Order Ontology Reasoning
R
Rosenthal, ErikTrie Based Subsumption and Improving the pi-Trie Algorithm
Rydeheard, DavidAutomated Reasoning in the Simulation of Evolvable Systems
S
Schmidt, Renate A.A Comparison of Solvers for Propositional Dynamic Logic
Sutcliffe, GeoffUsing the TPTP Language for Representing Derivations in Tableau and Connection Calculi