![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/cade/cade2003.bht:"
@inproceedings{DBLP:conf/cade/AnantharamanNR03, author = {Siva Anantharaman and Paliath Narendran and Micha{\"{e}}l Rusinowitch}, editor = {Franz Baader}, title = {Unification Modulo {ACU} {I} Plus Homomorphisms/Distributivity}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {442--457}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_38}, doi = {10.1007/978-3-540-45085-6\_38}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/AnantharamanNR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AvenhausKSW03, author = {J{\"{u}}rgen Avenhaus and Ulrich K{\"{u}}hler and Tobias Schmidt{-}Samoa and Claus{-}Peter Wirth}, editor = {Franz Baader}, title = {How to Prove Inductive Theorems? QUODLIBET!}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {328--333}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_29}, doi = {10.1007/978-3-540-45085-6\_29}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AvenhausKSW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaumgartnerFGS03, author = {Peter Baumgartner and Ulrich Furbach and Margret Gro{\ss}{-}Hardt and Alex Sinner}, editor = {Franz Baader}, title = {'Living Book': -'Deduction', 'Slicing', 'Interaction'}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {284--288}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_23}, doi = {10.1007/978-3-540-45085-6\_23}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/BaumgartnerFGS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaumgartnerT03, author = {Peter Baumgartner and Cesare Tinelli}, editor = {Franz Baader}, title = {The Model Evolution Calculus}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {350--364}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_32}, doi = {10.1007/978-3-540-45085-6\_32}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/BaumgartnerT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Belinfante03, author = {Johan G. F. Belinfante}, editor = {Franz Baader}, title = {Reasoning about Iteration in G{\"{o}}del's Class Theory}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {228--242}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_18}, doi = {10.1007/978-3-540-45085-6\_18}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Belinfante03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ChoppellaH03, author = {Venkatesh Choppella and Christopher T. Haynes}, editor = {Franz Baader}, title = {Source-Tracking Unification}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {458--472}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_39}, doi = {10.1007/978-3-540-45085-6\_39}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ChoppellaH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Clarke03, author = {Edmund M. Clarke}, editor = {Franz Baader}, title = {SAT-Based Counterexample Guided Abstraction Refinement in Model Checking}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {1}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_1}, doi = {10.1007/978-3-540-45085-6\_1}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Clarke03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/CohenMPS03, author = {Arjeh M. Cohen and Scott H. Murray and Martin Pollet and Volker Sorge}, editor = {Franz Baader}, title = {Certifying Solutions to Permutation Group Problems}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {258--273}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_20}, doi = {10.1007/978-3-540-45085-6\_20}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/CohenMPS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Cohn03, author = {Anthony G. Cohn}, editor = {Franz Baader}, title = {Reasoning about Qualitative Representations of Space and Time}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {334}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_30}, doi = {10.1007/978-3-540-45085-6\_30}, timestamp = {Tue, 20 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Cohn03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ColtonH03, author = {Simon Colton and Sophie Huczynska}, editor = {Franz Baader}, title = {The Homer System}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {289--294}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_24}, doi = {10.1007/978-3-540-45085-6\_24}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ColtonH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/CraryS03, author = {Karl Crary and Susmit Sarkar}, editor = {Franz Baader}, title = {Foundational Certified Code in a Metalogical Framework}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {106--120}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_9}, doi = {10.1007/978-3-540-45085-6\_9}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/CraryS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DegtyarevFK03, author = {Anatoli Degtyarev and Michael Fisher and Boris Konev}, editor = {Franz Baader}, title = {Monodic Temporal Resolution}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {397--411}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_35}, doi = {10.1007/978-3-540-45085-6\_35}, timestamp = {Tue, 20 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/DegtyarevFK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DeplagneKKN03, author = {Eric Deplagne and Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner and Quang Huy Nguyen}, editor = {Franz Baader}, title = {Proof Search and Proof Check for Equational and Inductive Theorems}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {297--316}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_26}, doi = {10.1007/978-3-540-45085-6\_26}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/DeplagneKKN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DixonF03, author = {Lucas Dixon and Jacques D. Fleuriot}, editor = {Franz Baader}, title = {IsaPlanner: {A} Prototype Proof Planner in Isabelle}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {279--283}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_22}, doi = {10.1007/978-3-540-45085-6\_22}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/DixonF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GaillourdetHLS03, author = {Jean{-}Marie Gaillourdet and Thomas Hillenbrand and Bernd L{\"{o}}chner and Hendrik Spies}, editor = {Franz Baader}, title = {The New {WALDMEISTER} Loop at Work}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {317--321}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_27}, doi = {10.1007/978-3-540-45085-6\_27}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GaillourdetHLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GanzingerHW03, author = {Harald Ganzinger and Thomas Hillenbrand and Uwe Waldmann}, editor = {Franz Baader}, title = {Superposition Modulo a Shostak Theory}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {182--196}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_15}, doi = {10.1007/978-3-540-45085-6\_15}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GanzingerHW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GanzingerS03, author = {Harald Ganzinger and J{\"{u}}rgen Stuber}, editor = {Franz Baader}, title = {Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {335--349}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_31}, doi = {10.1007/978-3-540-45085-6\_31}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GanzingerS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GieslK03, author = {J{\"{u}}rgen Giesl and Deepak Kapur}, editor = {Franz Baader}, title = {Deciding Inductive Validity of Equations}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {17--31}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_3}, doi = {10.1007/978-3-540-45085-6\_3}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GieslK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GulwaniN03, author = {Sumit Gulwani and George C. Necula}, editor = {Franz Baader}, title = {A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {167--181}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_14}, doi = {10.1007/978-3-540-45085-6\_14}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GulwaniN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HendriksO03, author = {Dimitri Hendriks and Vincent van Oostrom}, editor = {Franz Baader}, title = {adbmal}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {136--150}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_11}, doi = {10.1007/978-3-540-45085-6\_11}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HendriksO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HirokawaM03, author = {Nao Hirokawa and Aart Middeldorp}, editor = {Franz Baader}, title = {Automating the Dependency Pair Method}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {32--46}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_4}, doi = {10.1007/978-3-540-45085-6\_4}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HirokawaM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HladikS03, author = {Jan Hladik and Ulrike Sattler}, editor = {Franz Baader}, title = {A Translation of Looping Alternating Automata into Description Logics}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {90--105}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_8}, doi = {10.1007/978-3-540-45085-6\_8}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HladikS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HustadtK03, author = {Ullrich Hustadt and Boris Konev}, editor = {Franz Baader}, title = {{TRP++2.0:} {A} Temporal Resolution Prover}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {274--278}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_21}, doi = {10.1007/978-3-540-45085-6\_21}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HustadtK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/KorovinV03, author = {Konstantin Korovin and Andrei Voronkov}, editor = {Franz Baader}, title = {An AC-Compatible Knuth-Bendix Order}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {47--59}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_5}, doi = {10.1007/978-3-540-45085-6\_5}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/KorovinV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/KrsticC03, author = {Sava Krstic and Sylvain Conchon}, editor = {Franz Baader}, title = {Canonization for Disjoint Unions of Theories}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {197--211}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_16}, doi = {10.1007/978-3-540-45085-6\_16}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/KrsticC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/LutzST03, author = {Carsten Lutz and Ulrike Sattler and Lidia Tendera}, editor = {Franz Baader}, title = {The Complexity of Finite Model Reasoning in Description Logics}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {60--74}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_6}, doi = {10.1007/978-3-540-45085-6\_6}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/LutzST03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Lynch03, author = {Christopher Lynch}, editor = {Franz Baader}, title = {Schematic Saturation for Decision and Unification Problems}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {427--441}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_37}, doi = {10.1007/978-3-540-45085-6\_37}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Lynch03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ManoliosV03, author = {Panagiotis Manolios and Daron Vroon}, editor = {Franz Baader}, title = {Algorithms for Ordinal Arithmetic}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {243--257}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_19}, doi = {10.1007/978-3-540-45085-6\_19}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/ManoliosV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MehtaN03, author = {Farhad Mehta and Tobias Nipkow}, editor = {Franz Baader}, title = {Proving Pointer Programs in Higher-Order Logic}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {121--135}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_10}, doi = {10.1007/978-3-540-45085-6\_10}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/MehtaN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MeseguerPM03, author = {Jos{\'{e}} Meseguer and Miguel Palomino and Narciso Mart{\'{\i}}{-}Oliet}, editor = {Franz Baader}, title = {Equational Abstractions}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {2--16}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_2}, doi = {10.1007/978-3-540-45085-6\_2}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/MeseguerPM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Nelson03, author = {Greg Nelson}, editor = {Franz Baader}, title = {Reasoning about Quantifiers by Matching in the E-graph}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {166}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_13}, doi = {10.1007/978-3-540-45085-6\_13}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Nelson03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Nivelle03, author = {Hans de Nivelle}, editor = {Franz Baader}, title = {Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {365--379}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_33}, doi = {10.1007/978-3-540-45085-6\_33}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Nivelle03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/PanV03, author = {Guoqiang Pan and Moshe Y. Vardi}, editor = {Franz Baader}, title = {Optimizing a BDD-Based Modal Solver}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {75--89}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_7}, doi = {10.1007/978-3-540-45085-6\_7}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/PanV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/PientkaP03, author = {Brigitte Pientka and Frank Pfenning}, editor = {Franz Baader}, title = {Optimizing Higher-Order Pattern Unification}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {473--487}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_40}, doi = {10.1007/978-3-540-45085-6\_40}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/PientkaP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/RiazanovV03, author = {Alexandre Riazanov and Andrei Voronkov}, editor = {Franz Baader}, title = {Efficient Instance Retrieval with Standard and Relational Path Indexing}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {380--396}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_34}, doi = {10.1007/978-3-540-45085-6\_34}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/RiazanovV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Ringeissen03, author = {Christophe Ringeissen}, editor = {Franz Baader}, title = {Matching in a Class of Combined Non-disjoint Theories}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {212--227}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_17}, doi = {10.1007/978-3-540-45085-6\_17}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Ringeissen03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Schmidt-Schauss03, author = {Manfred Schmidt{-}Schau{\ss}}, editor = {Franz Baader}, title = {Decidability of Arity-Bounded Higher-Order Matching}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {488--502}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_41}, doi = {10.1007/978-3-540-45085-6\_41}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Schmidt-Schauss03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SchmidtH03, author = {Renate A. Schmidt and Ullrich Hustadt}, editor = {Franz Baader}, title = {A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {412--426}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_36}, doi = {10.1007/978-3-540-45085-6\_36}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/SchmidtH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Stump03, author = {Aaron Stump}, editor = {Franz Baader}, title = {Subset Types and Partial Functions}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {151--165}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_12}, doi = {10.1007/978-3-540-45085-6\_12}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Stump03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SutcliffeS03, author = {Geoff Sutcliffe and Christian B. Suttner}, editor = {Franz Baader}, title = {The {CADE-19} {ATP} System Competition}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {295--296}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_25}, doi = {10.1007/978-3-540-45085-6\_25}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/SutcliffeS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/WaltherS03, author = {Christoph Walther and Stephan Schweitzer}, editor = {Franz Baader}, title = {About VeriFun}, booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {322--327}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45085-6\_28}, doi = {10.1007/978-3-540-45085-6\_28}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/WaltherS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2003, editor = {Franz Baader}, title = {Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2741}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b11829}, doi = {10.1007/B11829}, isbn = {3-540-40559-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.