PAAR2010:Author IndexAuthor  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 HigherOrder 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, HanHing  Automated Higherorder 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 Higherorder Reasoning about Quantales  M  Matusiewicz, Andrew  Trie Based Subsumption and Improving the piTrie Algorithm  Meikle, Laura  Automation for Geometry in Isabelle/HOL  Murray, Neil  Trie Based Subsumption and Improving the piTrie 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 HigherOrder Ontology Reasoning  R  Rosenthal, Erik  Trie Based Subsumption and Improving the piTrie 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 

