Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/cade/2010paar,
  editor       = {Renate A. Schmidt and
                  Stephan Schulz and
                  Boris Konev},
  title        = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  series       = {EPiC Series in Computing},
  volume       = {9},
  publisher    = {EasyChair},
  year         = {2012}
}

@inproceedings{DBLP:conf/cade/AfifiRB10,
  author       = {Djihed Afifi and
                  David E. Rydeheard and
                  Howard Barringer},
  title        = {Automated Reasoning in the Simulation of Evolvable Systems},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {11--21},
  publisher    = {EasyChair},
  year         = {2010}
}

@inproceedings{DBLP:conf/cade/BenzmullerP10,
  author       = {Christoph Benzm{\"{u}}ller and
                  Adam Pease},
  title        = {Progress in Automating Higher-Order Ontology Reasoning},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {22--32},
  publisher    = {EasyChair},
  year         = {2010}
}

@inproceedings{DBLP:conf/cade/BoutonCDF10,
  author       = {Thomas Bouton and
                  Diego Caminha and
                  David D{\'{e}}harbe and
                  Pascal Fontaine},
  title        = {GridTPT: a distributed platform for Theorem Prover Testing},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {33--39},
  publisher    = {EasyChair},
  year         = {2010}
}

@inproceedings{DBLP:conf/cade/DangH10,
  author       = {Han{-}Hing Dang and
                  Peter H{\"{o}}fner},
  title        = {Automated Higher-order Reasoning about Quantales},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {40--51},
  publisher    = {EasyChair},
  year         = {2010}
}

@inproceedings{DBLP:conf/cade/Fiorino10,
  author       = {Guido Fiorino},
  title        = {Fast Decision Procedure for Propositional Dummett Logic Based on a
                  Multiple Premise Tableau Calculus},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {52--62},
  publisher    = {EasyChair},
  year         = {2010}
}

@inproceedings{DBLP:conf/cade/HustadtS10,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  title        = {A Comparison of Solvers for Propositional Dynamic Logic},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {63--73},
  publisher    = {EasyChair},
  year         = {2010}
}

@inproceedings{DBLP:conf/cade/MatusiewiczMR10,
  author       = {Andrew Matusiewicz and
                  Neil V. Murray and
                  Erik Rosenthal},
  title        = {Trie Based Subsumption and Improving the pi-Trie Algorithm},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {74--83},
  publisher    = {EasyChair},
  year         = {2010}
}

@inproceedings{DBLP:conf/cade/MeikleF10,
  author       = {Laura I. Meikle and
                  Jacques D. Fleuriot},
  title        = {Automation for Geometry in Isabelle/HOL},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {84--94},
  publisher    = {EasyChair},
  year         = {2010}
}

@inproceedings{DBLP:conf/cade/Paulson10,
  author       = {Lawrence C. Paulson},
  title        = {Three Years of Experience with Sledgehammer, a Practical Link between
                  Automatic and Interactive Theorem Provers},
  booktitle    = {PAAR@IJCAR},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {1--10},
  publisher    = {EasyChair},
  year         = {2010}
}