Search dblp for Publications

export results for "toc:db/conf/cade/paar2010.bht:"

 download as .bib file

@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},
  url          = {https://easychair.org/publications/volume/PAAR-2010},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2010paar.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {11--21},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/jj86},
  doi          = {10.29007/JJ86},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AfifiRB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BenzmullerP10,
  author       = {Christoph Benzm{\"{u}}ller and
                  Adam Pease},
  title        = {Progress in Automating Higher-Order Ontology Reasoning},
  booktitle    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {22--32},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/dtnz},
  doi          = {10.29007/DTNZ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BenzmullerP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {33--39},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/hk8w},
  doi          = {10.29007/HK8W},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BoutonCDF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DangH10,
  author       = {Han{-}Hing Dang and
                  Peter H{\"{o}}fner},
  title        = {Automated Higher-order Reasoning about Quantales},
  booktitle    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {40--51},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/l2sz},
  doi          = {10.29007/L2SZ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DangH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Fiorino10,
  author       = {Guido Fiorino},
  title        = {Fast Decision Procedure for Propositional Dummett Logic Based on a
                  Multiple Premise Tableau Calculus},
  booktitle    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {52--62},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/mbbq},
  doi          = {10.29007/MBBQ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Fiorino10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HustadtS10,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  title        = {A Comparison of Solvers for Propositional Dynamic Logic},
  booktitle    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {63--73},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/63hq},
  doi          = {10.29007/63HQ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HustadtS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {74--83},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/q7h3},
  doi          = {10.29007/Q7H3},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MatusiewiczMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MeikleF10,
  author       = {Laura I. Meikle and
                  Jacques D. Fleuriot},
  title        = {Automation for Geometry in Isabelle/HOL},
  booktitle    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {84--94},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/r5k7},
  doi          = {10.29007/R5K7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/MeikleF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages        = {1--10},
  year         = {2010},
  crossref     = {DBLP:conf/cade/2010paar},
  url          = {https://doi.org/10.29007/tnfd},
  doi          = {10.29007/TNFD},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Paulson10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.