PAAR-2010:BibTeX Entries

Volume

@proceedings{PAAR-2010,
  title     = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{PAAR-2010:Three_Years_of_Experience,
  author    = {Lawrence Paulson},
  title     = {Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {1--10},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Mzp},
  doi       = {10.29007/tnfd}}

@inproceedings{PAAR-2010:Automated_Reasoning_in_Simulation,
  author    = {Djihed Afifi and David Rydeheard and Howard Barringer},
  title     = {Automated Reasoning in the Simulation of Evolvable Systems},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {11--21},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3lZ},
  doi       = {10.29007/jj86}}

@inproceedings{PAAR-2010:Progress_in_Automating_Higher_Order,
  author    = {Christoph Benzm\textbackslash{}"uller and Adam Pease},
  title     = {Progress in Automating Higher-Order Ontology Reasoning},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {22--32},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/5z},
  doi       = {10.29007/dtnz}}

@inproceedings{PAAR-2010:GridTPT_distributed_platform_for,
  author    = {Thomas Bouton and Diego Caminha and David D\textbackslash{}'eharbe and Pascal Fontaine},
  title     = {GridTPT: a distributed platform for Theorem Prover Testing},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {33--39},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/p},
  doi       = {10.29007/hk8w}}

@inproceedings{PAAR-2010:Automated_Higher_order_Reasoning_about,
  author    = {Han-Hing Dang and Peter H\textbackslash{}"ofner},
  title     = {Automated Higher-order Reasoning about Quantales},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {40--51},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/HFp},
  doi       = {10.29007/l2sz}}

@inproceedings{PAAR-2010:Fast_Decision_Procedure_for,
  author    = {Guido Fiorino},
  title     = {Fast Decision Procedure for Propositional Dummett Logic Based on     a Multiple Premise Tableau Calculus},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {52--62},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cS},
  doi       = {10.29007/mbbq}}

@inproceedings{PAAR-2010:Comparison_of_Solvers_for,
  author    = {Ullrich Hustadt and Renate A. Schmidt},
  title     = {A Comparison of Solvers for Propositional Dynamic Logic},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {63--73},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/7Cj},
  doi       = {10.29007/63hq}}

@inproceedings{PAAR-2010:Trie_Based_Subsumption_and,
  author    = {Andrew Matusiewicz and Neil Murray and Erik Rosenthal},
  title     = {Trie Based Subsumption and Improving the pi-Trie Algorithm},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {74--83},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/dJs},
  doi       = {10.29007/q7h3}}

@inproceedings{PAAR-2010:Automation_for_Geometry_in,
  author    = {Laura Meikle and Jacques Fleuriot},
  title     = {Automation for Geometry in Isabelle/HOL},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {84--94},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/l91},
  doi       = {10.29007/r5k7}}

@inproceedings{PAAR-2010:Using_TPTP_Language_for,
  author    = {Jens Otten and Geoff Sutcliffe},
  title     = {Using the TPTP Language for Representing Derivations in Tableau and
Connection Calculi},
  booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
  editor    = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
  series    = {EPiC Series in Computing},
  volume    = {9},
  pages     = {95--105},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/MKr},
  doi       = {10.29007/jcqn}}