Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/cade/ijcar2001.bht:"
@inproceedings{DBLP:conf/cade/AngerKL01, author = {Christian Anger and Kathrin Konczak and Thomas Linke}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {NoMoRe : {A} System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {325--330}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_24}, doi = {10.1007/3-540-45744-5\_24}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/AngerKL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ArmandoCR01, author = {Alessandro Armando and Luca Compagna and Silvio Ranise}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {System Description: {RDL} : Rewrite and Decision Procedure Laboratory}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {663--669}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_54}, doi = {10.1007/3-540-45744-5\_54}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ArmandoCR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ArmelinP01, author = {Pablo A. Armel{\'{\i}}n and David J. Pym}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Bunched Logic Programming}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {289--304}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_21}, doi = {10.1007/3-540-45744-5\_21}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ArmelinP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AudemardH01, author = {Gilles Audemard and Laurent Henocque}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {The eXtended Least Number Heuristic}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {427--442}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_35}, doi = {10.1007/3-540-45744-5\_35}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AudemardH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AvenhausL01, author = {J{\"{u}}rgen Avenhaus and Bernd L{\"{o}}chner}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {{CCE:} Testing Ground Joinability}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {658--662}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_53}, doi = {10.1007/3-540-45744-5\_53}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AvenhausL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AvronL01, author = {Arnon Avron and Iddo Lev}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Canonical Propositional Gentzen-Type Systems}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {529--544}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_45}, doi = {10.1007/3-540-45744-5\_45}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AvronL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BaaderT01, author = {Franz Baader and Stephan Tobies}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {The Inverse Method Implements the Automata Approach for Modal Satisfiability}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {92--106}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_8}, doi = {10.1007/3-540-45744-5\_8}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BaaderT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BeckertS01, author = {Bernhard Beckert and Steffen Schlager}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {626--641}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_51}, doi = {10.1007/3-540-45744-5\_51}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BeckertS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Beeson01, author = {Michael Beeson}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {A Second-Order Theorem Prover Applied to Circumscription}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {318--324}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_23}, doi = {10.1007/3-540-45744-5\_23}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Beeson01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Benedetti01, author = {Marco Benedetti}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Conditional Pure Literal Graphs}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {331--346}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_25}, doi = {10.1007/3-540-45744-5\_25}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Benedetti01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BoigelotJW01, author = {Bernard Boigelot and S{\'{e}}bastien Jodogne and Pierre Wolper}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {611--625}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_50}, doi = {10.1007/3-540-45744-5\_50}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/BoigelotJW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Bonacina01, author = {Maria Paola Bonacina}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Combination of Distributed Search and Multi-search in Peers-mcd.d}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {448--452}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_37}, doi = {10.1007/3-540-45744-5\_37}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Bonacina01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/CerritoM01, author = {Serenella Cerrito and Marta Cialdea Mayer}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {137--151}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_11}, doi = {10.1007/3-540-45744-5\_11}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/CerritoM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/CerroFGHLM01, author = {Luis Fari{\~{n}}as del Cerro and David Fauthoux and Olivier Gasquet and Andreas Herzig and Dominique Longin and Fabio Massacci}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Lotrec : The Generic Tableau Prover for Modal and Description Logics}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {453--458}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_38}, doi = {10.1007/3-540-45744-5\_38}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/CerroFGHLM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/DoutreM01, author = {Sylvie Doutre and J{\'{e}}r{\^{o}}me Mengin}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Preferred Extensions of Argumentation Frameworks: Query Answering and Computation}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {272--288}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_20}, doi = {10.1007/3-540-45744-5\_20}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/DoutreM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/EglyS01, author = {Uwe Egly and Stephan Schmitt}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Deriving Modular Programs from Short Proofs}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {561--577}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_47}, doi = {10.1007/3-540-45744-5\_47}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/EglyS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Fiedler01, author = {Armin Fiedler}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {P.rex: An Interactive Proof Explainer}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {416--420}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_33}, doi = {10.1007/3-540-45744-5\_33}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Fiedler01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/FormisanoOT01, author = {Andrea Formisano and Eugenio G. Omodeo and Marco Temperini}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Instructing Equational Set-Reasoning with Otter}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {152--167}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_12}, doi = {10.1007/3-540-45744-5\_12}, timestamp = {Mon, 13 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/FormisanoOT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GanzingerM01, author = {Harald Ganzinger and David A. McAllester}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {A New Meta-complexity Theorem for Bottom-Up Logic Programs}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {514--528}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_44}, doi = {10.1007/3-540-45744-5\_44}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GanzingerM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GanzingerNN01, author = {Harald Ganzinger and Robert Nieuwenhuis and Pilar Nivela}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Context Trees}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {242--256}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_18}, doi = {10.1007/3-540-45744-5\_18}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GanzingerNN01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Giese01, author = {Martin Giese}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Incremental Closure of Free Variable Tableaux}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {545--560}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_46}, doi = {10.1007/3-540-45744-5\_46}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Giese01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GieslK01, author = {J{\"{u}}rgen Giesl and Deepak Kapur}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Decidable Classes of Inductive Theorems}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {469--484}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_41}, doi = {10.1007/3-540-45744-5\_41}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GieslK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GiunchigliaMTZ01, author = {Enrico Giunchiglia and Marco Maratea and Armando Tacchella and Davide Zambonin}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {347--363}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_26}, doi = {10.1007/3-540-45744-5\_26}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GiunchigliaMTZ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GiunchigliaNT01, author = {Enrico Giunchiglia and Massimo Narizzano and Armando Tacchella}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {{QUBE:} {A} System for Deciding Quantified Boolean Formulas Satisfiability}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {364--369}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_27}, doi = {10.1007/3-540-45744-5\_27}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GiunchigliaNT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HaarslevM01, author = {Volker Haarslev and Ralf M{\"{o}}ller}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {{RACER} System Description}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {701--706}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_59}, doi = {10.1007/3-540-45744-5\_59}, timestamp = {Tue, 14 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HaarslevM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HaarslevMT01, author = {Volker Haarslev and Ralf M{\"{o}}ller and Anni{-}Yasmin Turhan}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {61--75}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_6}, doi = {10.1007/3-540-45744-5\_6}, timestamp = {Tue, 14 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HaarslevMT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HaarslevMW01, author = {Volker Haarslev and Ralf M{\"{o}}ller and Michael Wessel}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {The Description Logic ALCNH\({}_{\mbox{R+}}\) Extended with Concrete Domains: {A} Practically Motivated Approach}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {29--44}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_4}, doi = {10.1007/3-540-45744-5\_4}, timestamp = {Tue, 14 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HaarslevMW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HahnleMR01, author = {Reiner H{\"{a}}hnle and Neil V. Murray and Erik Rosenthal}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Ordered Resolution vs. Connection Graph Resolution}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {182--194}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_14}, doi = {10.1007/3-540-45744-5\_14}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/HahnleMR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Happe01, author = {Jens Happe}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {The {MODPROF} Theorem Prover}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {459--463}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_39}, doi = {10.1007/3-540-45744-5\_39}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Happe01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HodasT01, author = {Joshua S. Hodas and Naoyuki Tamura}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {lolliCop - {A} Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {670--684}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_55}, doi = {10.1007/3-540-45744-5\_55}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/HodasT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HodgsonS01, author = {Kahlil Hodgson and John K. Slaney}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {System Description: {SCOTT-5}}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {443--447}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_36}, doi = {10.1007/3-540-45744-5\_36}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/HodgsonS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Jones01, author = {Neil D. Jones}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Program Termination Analysis by Size-Change Graphs (Abstract)}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {1--4}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_1}, doi = {10.1007/3-540-45744-5\_1}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Jones01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Larchey-WendlingMG01, author = {Dominique Larchey{-}Wendling and Daniel M{\'{e}}ry and Didier Galmiche}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {{STRIP:} Structural Sharing for Efficient Proof-Search}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {696--700}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_58}, doi = {10.1007/3-540-45744-5\_58}, timestamp = {Thu, 19 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/Larchey-WendlingMG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/LetzS01, author = {Reinhold Letz and Gernot Stenz}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {{DCTP} - {A} Disconnection Calculus Theorem Prover - System Abstract}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {381--385}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_30}, doi = {10.1007/3-540-45744-5\_30}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/LetzS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Lucke01, author = {J{\"{o}}rg L{\"{u}}cke}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Hilberticus - {A} Tool Deciding an Elementary Sublanguage of Set Theory}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {690--695}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_57}, doi = {10.1007/3-540-45744-5\_57}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Lucke01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Luther01, author = {Marko Luther}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {More On Implicit Syntax}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {386--400}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_31}, doi = {10.1007/3-540-45744-5\_31}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Luther01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Lutz01, author = {Carsten Lutz}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {NEXPTIME-Complete Description Logics with Concrete Domains}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {45--60}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_5}, doi = {10.1007/3-540-45744-5\_5}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Lutz01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/LutzSWZ01, author = {Carsten Lutz and Holger Sturm and Frank Wolter and Michael Zakharyaschev}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Tableaux for Temporal Description Logic with Constant Domains}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {121--136}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_10}, doi = {10.1007/3-540-45744-5\_10}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/LutzSWZ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/LynchM01, author = {Christopher Lynch and Barbara Morawska}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Decidability and Complexity of Finitely Closable Linear Equational Theories}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {499--513}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_43}, doi = {10.1007/3-540-45744-5\_43}, timestamp = {Thu, 12 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/LynchM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Middeldorp01, author = {Aart Middeldorp}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Approximating Dependency Graphs Using Tree Automata Techniques}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {593--610}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_49}, doi = {10.1007/3-540-45744-5\_49}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Middeldorp01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/NieuwenhuisHRV01, author = {Robert Nieuwenhuis and Thomas Hillenbrand and Alexandre Riazanov and Andrei Voronkov}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {On the Evaluation of Indexing Techniques for Theorem Proving}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {257--271}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_19}, doi = {10.1007/3-540-45744-5\_19}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/NieuwenhuisHRV01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/NivelleP01, author = {Hans de Nivelle and Ian Pratt{-}Hartmann}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {211--225}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_16}, doi = {10.1007/3-540-45744-5\_16}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/NivelleP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Pastre01, author = {Dominique Pastre}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {{MUSCADET} 2.3: {A} Knowledge-Based Theorem Prover Based on Natural Deduction}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {685--689}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_56}, doi = {10.1007/3-540-45744-5\_56}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Pastre01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Patel-SchneiderS01, author = {Peter F. Patel{-}Schneider and Roberto Sebastiani}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {A New System and Methodology for Generating Random Modal Formulae}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {464--468}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_40}, doi = {10.1007/3-540-45744-5\_40}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Patel-SchneiderS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Paulson01, author = {Lawrence C. Paulson}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {{SET} Cardholder Registration: The Secrecy Proofs}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {5--12}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_2}, doi = {10.1007/3-540-45744-5\_2}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Paulson01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Peltier01, author = {Nicolas Peltier}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {A General Method for Using Schematizations in Automated Deduction}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {578--592}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_48}, doi = {10.1007/3-540-45744-5\_48}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Peltier01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Pientka01, author = {Brigitte Pientka}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Termination and Reduction Checking for Higher-Order Logic Programs}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {401--415}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_32}, doi = {10.1007/3-540-45744-5\_32}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Pientka01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Pliuskevicius01, author = {Regimantas Pliuskevicius}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of {FTL}}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {107--120}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_9}, doi = {10.1007/3-540-45744-5\_9}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Pliuskevicius01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ReifST01, author = {Wolfgang Reif and Gerhard Schellhorn and Andreas Thums}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Flaw Detection in Formal Specifications}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {642--657}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_52}, doi = {10.1007/3-540-45744-5\_52}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ReifST01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/RiazanovV01, author = {Alexandre Riazanov and Andrei Voronkov}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Vampire 1.1 (System Description)}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {376--380}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_29}, doi = {10.1007/3-540-45744-5\_29}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/RiazanovV01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SattlerV01, author = {Ulrike Sattler and Moshe Y. Vardi}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {The Hybrid {\(\mathrm{\mu}\)}-Calculus}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {76--91}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_7}, doi = {10.1007/3-540-45744-5\_7}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/SattlerV01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/SchmittLKN01, author = {Stephan Schmitt and Lori Lorigo and Christoph Kreitz and Aleksey Nogin}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {421--426}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_34}, doi = {10.1007/3-540-45744-5\_34}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/SchmittLKN01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Schulz01, author = {Stephan Schulz}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {System Abstract: {E} 0.61}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {370--375}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_28}, doi = {10.1007/3-540-45744-5\_28}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Schulz01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Stuber01, author = {J{\"{u}}rgen Stuber}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {A Model-Based Completeness Proof of Extended Narrowing and Resolution}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {195--210}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_15}, doi = {10.1007/3-540-45744-5\_15}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Stuber01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Szeider01, author = {Stefan Szeider}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {NP-Completeness of Refutability by Literal-Once Resolution}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {168--181}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_13}, doi = {10.1007/3-540-45744-5\_13}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Szeider01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Urbain01, author = {Xavier Urbain}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {485--498}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_42}, doi = {10.1007/3-540-45744-5\_42}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Urbain01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Voronkov01, author = {Andrei Voronkov}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Algorithms, Datastructures, and other Issues in Efficient Automated Deduction}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {13--28}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_3}, doi = {10.1007/3-540-45744-5\_3}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Voronkov01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Waldmann01, author = {Uwe Waldmann}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Superposition and Chaining for Totally Ordered Divisible Abelian Groups}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {226--241}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_17}, doi = {10.1007/3-540-45744-5\_17}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Waldmann01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Wang01, author = {Kewen Wang}, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {A Top-Down Procedure for Disjunctive Well-Founded Semantics}, booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, pages = {305--317}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5\_22}, doi = {10.1007/3-540-45744-5\_22}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Wang01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2001, editor = {Rajeev Gor{\'{e}} and Alexander Leitsch and Tobias Nipkow}, title = {Automated Reasoning, First International Joint Conference, {IJCAR} 2001, Siena, Italy, June 18-23, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2083}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45744-5}, doi = {10.1007/3-540-45744-5}, isbn = {3-540-42254-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.