PAAR-2010: Author Index

Author	Papers
A
Afifi, Djihed	Automated Reasoning in the Simulation of Evolvable Systems
B
Barringer, Howard	Automated Reasoning in the Simulation of Evolvable Systems
Benzmüller, Christoph	Progress in Automating Higher-Order Ontology Reasoning
Bouton, Thomas	GridTPT: a distributed platform for Theorem Prover Testing
C
Caminha B de Oliveira, Diego	GridTPT: a distributed platform for Theorem Prover Testing
D
Dang, Han-Hing	Automated Higher-order Reasoning about Quantales
Deharbe, David	GridTPT: a distributed platform for Theorem Prover Testing
F
Fiorino, Guido	Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
Fleuriot, Jacques	Automation for Geometry in Isabelle/HOL
Fontaine, Pascal	GridTPT: a distributed platform for Theorem Prover Testing
H
Hustadt, Ullrich	A Comparison of Solvers for Propositional Dynamic Logic
Höfner, Peter	Automated Higher-order Reasoning about Quantales
M
Matusiewicz, Andrew	Trie Based Subsumption and Improving the pi-Trie Algorithm
Meikle, Laura	Automation for Geometry in Isabelle/HOL
Murray, Neil	Trie Based Subsumption and Improving the pi-Trie Algorithm
O
Otten, Jens	Using 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, Adam	Progress in Automating Higher-Order Ontology Reasoning
R
Rosenthal, Erik	Trie Based Subsumption and Improving the pi-Trie Algorithm
Rydeheard, David	Automated Reasoning in the Simulation of Evolvable Systems
S
Schmidt, Renate A.	A Comparison of Solvers for Propositional Dynamic Logic
Sutcliffe, Geoff	Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi