Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cade/Ahrendt02,
  author       = {Wolfgang Ahrendt},
  editor       = {Andrei Voronkov},
  title        = {Deductive Search for Errors in Free Data Type Specifications Using
                  Model Generation},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {211--225},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_18},
  doi          = {10.1007/3-540-45620-1\_18},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Ahrendt02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Andreoli02,
  author       = {Jean{-}Marc Andreoli},
  editor       = {Andrei Voronkov},
  title        = {Focussing Proof-Net Construction as a Middleware Paradigm},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {501--516},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_39},
  doi          = {10.1007/3-540-45620-1\_39},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Andreoli02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ArecesH02,
  author       = {Carlos Areces and
                  Juan Heguiabehere},
  editor       = {Andrei Voronkov},
  title        = {HyLoRes 1.0: Direct Resolution for Hybrid Logics},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {156--160},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_14},
  doi          = {10.1007/3-540-45620-1\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ArecesH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AudemardB02,
  author       = {Gilles Audemard and
                  Belaid Benhamou},
  editor       = {Andrei Voronkov},
  title        = {Reasoning by Symmetry and Function Ordering in Finite Model Generation},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {226--240},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_19},
  doi          = {10.1007/3-540-45620-1\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AudemardB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AudemardBCKS02,
  author       = {Gilles Audemard and
                  Piergiorgio Bertoli and
                  Alessandro Cimatti and
                  Artur Kornilowicz and
                  Roberto Sebastiani},
  editor       = {Andrei Voronkov},
  title        = {A {SAT} Based Approach for Solving Formulas over Boolean and Linear
                  Mathematical Propositions},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {195--210},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_17},
  doi          = {10.1007/3-540-45620-1\_17},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AudemardBCKS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Baaz02,
  author       = {Matthias Baaz},
  editor       = {Andrei Voronkov},
  title        = {Proof Analysis by Resolution},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {517--532},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_40},
  doi          = {10.1007/3-540-45620-1\_40},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Baaz02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BernardL02,
  author       = {Andrew Bernard and
                  Peter Lee},
  editor       = {Andrei Voronkov},
  title        = {Temporal Logic for Proof-Carrying Code},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {31--46},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_3},
  doi          = {10.1007/3-540-45620-1\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BernardL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BofillR02,
  author       = {Miquel Bofill and
                  Albert Rubio},
  editor       = {Andrei Voronkov},
  title        = {Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {456--470},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_36},
  doi          = {10.1007/3-540-45620-1\_36},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BofillR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BorrallerasLR02,
  author       = {Cristina Borralleras and
                  Salvador Lucas and
                  Albert Rubio},
  editor       = {Andrei Voronkov},
  title        = {Recursive Path Orderings Can Be Context-Sensitive},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {314--331},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_27},
  doi          = {10.1007/3-540-45620-1\_27},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BorrallerasLR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Brown02,
  author       = {Chad E. Brown},
  editor       = {Andrei Voronkov},
  title        = {Solving for Set Variables in Higher-Order Theorem Proving},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {408--422},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_33},
  doi          = {10.1007/3-540-45620-1\_33},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Brown02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Colton02,
  author       = {Simon Colton},
  editor       = {Andrei Voronkov},
  title        = {The {HR} Program for Theorem Generation},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {285--289},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_24},
  doi          = {10.1007/3-540-45620-1\_24},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Colton02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Egly02,
  author       = {Uwe Egly},
  editor       = {Andrei Voronkov},
  title        = {Embedding Lax Logic into Intuitionistic Logic},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {78--93},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_6},
  doi          = {10.1007/3-540-45620-1\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Egly02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FordS02,
  author       = {Jonathan Ford and
                  Natarajan Shankar},
  editor       = {Andrei Voronkov},
  title        = {Formal Verification of a Combination Decision Procedure},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {347--362},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_29},
  doi          = {10.1007/3-540-45620-1\_29},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FordS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GalmicheM02,
  author       = {Didier Galmiche and
                  Daniel M{\'{e}}ry},
  editor       = {Andrei Voronkov},
  title        = {Connection-Based Proof Search in Propositional {BI} Logic},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {111--128},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_8},
  doi          = {10.1007/3-540-45620-1\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GalmicheM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Ganzinger02,
  author       = {Harald Ganzinger},
  editor       = {Andrei Voronkov},
  title        = {Shostak Light},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {332--346},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_28},
  doi          = {10.1007/3-540-45620-1\_28},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Ganzinger02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GeorgievaHS02,
  author       = {Lilia Georgieva and
                  Ullrich Hustadt and
                  Renate A. Schmidt},
  editor       = {Andrei Voronkov},
  title        = {A New Clausal Class Decidable by Hyperresolution},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {260--274},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_21},
  doi          = {10.1007/3-540-45620-1\_21},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GeorgievaHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Goldberg02,
  author       = {Eugene Goldberg},
  editor       = {Andrei Voronkov},
  title        = {Testing Satisfiability of {CNF} Formulas by Computing a Stable Set
                  of Points},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {161--180},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_15},
  doi          = {10.1007/3-540-45620-1\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Goldberg02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GramlichP02,
  author       = {Bernhard Gramlich and
                  Reinhard Pichler},
  editor       = {Andrei Voronkov},
  title        = {Algorithmic Aspects of Herbrand Models Represented by Ground Atoms
                  with Ground Equations},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {241--259},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_20},
  doi          = {10.1007/3-540-45620-1\_20},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GramlichP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HillenbrandL02,
  author       = {Thomas Hillenbrand and
                  Bernd L{\"{o}}chner},
  editor       = {Andrei Voronkov},
  title        = {The Next {W} {ALDMEISTER} Loop},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {486--500},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_38},
  doi          = {10.1007/3-540-45620-1\_38},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HillenbrandL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Horrocks02,
  author       = {Ian Horrocks},
  editor       = {Andrei Voronkov},
  title        = {Reasoning with Expressive Description Logics: Theory and Practice},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_1},
  doi          = {10.1007/3-540-45620-1\_1},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Horrocks02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Hurd02,
  author       = {Joe Hurd},
  editor       = {Andrei Voronkov},
  title        = {An LCF-Style Interface between {HOL} and First-Order Logic},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {134--138},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_10},
  doi          = {10.1007/3-540-45620-1\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Hurd02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/JamnikKP02,
  author       = {Mateja Jamnik and
                  Manfred Kerber and
                  Martin Pollet},
  editor       = {Andrei Voronkov},
  title        = {Learn Omega-matic: System Description},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {150--155},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_13},
  doi          = {10.1007/3-540-45620-1\_13},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/JamnikKP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KupfermanSV02,
  author       = {Orna Kupferman and
                  Ulrike Sattler and
                  Moshe Y. Vardi},
  editor       = {Andrei Voronkov},
  title        = {The Complexity of the Graded {\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {423--437},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_34},
  doi          = {10.1007/3-540-45620-1\_34},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/KupfermanSV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Larchey-Wendling02,
  author       = {Dominique Larchey{-}Wendling},
  editor       = {Andrei Voronkov},
  title        = {Combining Proof-Search and Counter-Model Construction for Deciding
                  G{\"{o}}del-Dummett Logic},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {94--110},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_7},
  doi          = {10.1007/3-540-45620-1\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Larchey-Wendling02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LynchM02,
  author       = {Christopher Lynch and
                  Barbara Morawska},
  editor       = {Andrei Voronkov},
  title        = {Basic Syntactic Mutation},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {471--485},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_37},
  doi          = {10.1007/3-540-45620-1\_37},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/LynchM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Moller02,
  author       = {Jesper B. M{\o}ller},
  editor       = {Andrei Voronkov},
  title        = {{DDDLIB:} {A} Library for Solving Quantified Difference Inequalities},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {129--133},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_9},
  doi          = {10.1007/3-540-45620-1\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Moller02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MouraRS02,
  author       = {Leonardo Mendon{\c{c}}a de Moura and
                  Harald Rue{\ss} and
                  Maria Sorea},
  editor       = {Andrei Voronkov},
  title        = {Lazy Theorem Proving for Bounded Model Checking over Infinite Domains},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {438--455},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_35},
  doi          = {10.1007/3-540-45620-1\_35},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MouraRS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/PanSV02,
  author       = {Guoqiang Pan and
                  Ulrike Sattler and
                  Moshe Y. Vardi},
  editor       = {Andrei Voronkov},
  title        = {BDD-Based Decision Procedures for {K}},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_2},
  doi          = {10.1007/3-540-45620-1\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/PanSV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Paulson02,
  author       = {Lawrence C. Paulson},
  editor       = {Andrei Voronkov},
  title        = {The Reflection Theorem: {A} Study in Meta-theoretic Reasoning},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {377--391},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_31},
  doi          = {10.1007/3-540-45620-1\_31},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Paulson02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SchneckN02,
  author       = {Robert R. Schneck and
                  George C. Necula},
  editor       = {Andrei Voronkov},
  title        = {A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying
                  Code},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {47--62},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_4},
  doi          = {10.1007/3-540-45620-1\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SchneckN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SchulzS02,
  author       = {Stephan Schulz and
                  Geoff Sutcliffe},
  editor       = {Andrei Voronkov},
  title        = {System Description: GrAnDe 1.0},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {280--284},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_23},
  doi          = {10.1007/3-540-45620-1\_23},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SchulzS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02,
  author       = {J{\"{o}}rg H. Siekmann and
                  Christoph Benzm{\"{u}}ller and
                  Vladimir Brezhnev and
                  Lassaad Cheikhrouhou and
                  Armin Fiedler and
                  Andreas Franke and
                  Helmut Horacek and
                  Michael Kohlhase and
                  Andreas Meier and
                  Erica Melis and
                  Markus Moschner and
                  Immanuel Normann and
                  Martin Pollet and
                  Volker Sorge and
                  Carsten Ullrich and
                  Claus{-}Peter Wirth and
                  J{\"{u}}rgen Zimmer},
  editor       = {Andrei Voronkov},
  title        = {Proof Development with {OMEGA}},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {144--149},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_12},
  doi          = {10.1007/3-540-45620-1\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Strecker02,
  author       = {Martin Strecker},
  editor       = {Andrei Voronkov},
  title        = {Formal Verification of a Java Compiler in Isabelle},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {63--77},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_5},
  doi          = {10.1007/3-540-45620-1\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Strecker02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/StumpD02,
  author       = {Aaron Stump and
                  David L. Dill},
  editor       = {Andrei Voronkov},
  title        = {Faster Proof Checking in the Edinburgh Logical Framework},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {392--407},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_32},
  doi          = {10.1007/3-540-45620-1\_32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/StumpD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Tour02,
  author       = {Thierry Boy de la Tour},
  editor       = {Andrei Voronkov},
  title        = {A Note on Symmetry Heuristics in {SEM}},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {181--194},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_16},
  doi          = {10.1007/3-540-45620-1\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Tour02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/WeidenbachBHKTT02,
  author       = {Christoph Weidenbach and
                  Uwe Brahm and
                  Thomas Hillenbrand and
                  Enno Keen and
                  Christian Theobalt and
                  Dalibor Topic},
  editor       = {Andrei Voronkov},
  title        = {S {PASS} Version 2.0},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {275--279},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_22},
  doi          = {10.1007/3-540-45620-1\_22},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/WeidenbachBHKTT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/WhalenSF02,
  author       = {Michael W. Whalen and
                  Johann Schumann and
                  Bernd Fischer},
  editor       = {Andrei Voronkov},
  title        = {AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification
                  - System Description},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {290--294},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_25},
  doi          = {10.1007/3-540-45620-1\_25},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/WhalenSF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Zarba02,
  author       = {Calogero G. Zarba},
  editor       = {Andrei Voronkov},
  title        = {Combining Multisets with Integers},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {363--376},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_30},
  doi          = {10.1007/3-540-45620-1\_30},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Zarba02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ZhangM02,
  author       = {Lintao Zhang and
                  Sharad Malik},
  editor       = {Andrei Voronkov},
  title        = {The Quest for Efficient Boolean Satisfiability Solvers},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {295--313},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_26},
  doi          = {10.1007/3-540-45620-1\_26},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ZhangM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ZimmerK02,
  author       = {J{\"{u}}rgen Zimmer and
                  Michael Kohlhase},
  editor       = {Andrei Voronkov},
  title        = {System Description: The MathWeb Software Bus for Distributed Mathematical
                  Reasoning},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  pages        = {139--143},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1\_11},
  doi          = {10.1007/3-540-45620-1\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ZimmerK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2002,
  editor       = {Andrei Voronkov},
  title        = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2392},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1},
  doi          = {10.1007/3-540-45620-1},
  isbn         = {3-540-43931-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2002.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.