Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cade/ijcar2001.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-04-18 07:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
