Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Aart Middeldorp
@article{DBLP:journals/corr/abs-2402-13552,
author = {Jonas Sch{\"{o}}pf and
Fabian Mitterwallner and
Aart Middeldorp},
title = {Confluence of Logically Constrained Rewrite Systems Revisited},
journal = {CoRR},
volume = {abs/2402.13552},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13552},
doi = {10.48550/ARXIV.2402.13552},
eprinttype = {arXiv},
eprint = {2402.13552},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MiddeldorpLM23,
author = {Aart Middeldorp and
Alexander Lochmann and
Fabian Mitterwallner},
title = {First-Order Theory of Rewriting for Linear Variable-Separated Rewrite
Systems: Automation, Formalization, Certification},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {14},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09661-7},
doi = {10.1007/S10817-023-09661-7},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MiddeldorpLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NiederhauserHM23,
author = {Johannes Niederhauser and
Nao Hirokawa and
Aart Middeldorp},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Left-Linear Completion with {AC} Axioms},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {401--418},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_23},
doi = {10.1007/978-3-031-38499-8\_23},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NiederhauserHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchopfM23,
author = {Jonas Sch{\"{o}}pf and
Aart Middeldorp},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Confluence Criteria for Logically Constrained Rewrite Systems},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {474--490},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_27},
doi = {10.1007/978-3-031-38499-8\_27},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchopfM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KohlM23,
author = {Christina Kohl and
Aart Middeldorp},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {A Formalization of the Development Closedness Criterion for Left-Linear
Term Rewrite Systems},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {197--210},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575667},
doi = {10.1145/3573105.3575667},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/KohlM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/HirokawaM23,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Hydra Battles and {AC} Termination},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {12:1--12:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.12},
doi = {10.4230/LIPICS.FSCD.2023.12},
timestamp = {Fri, 30 Jun 2023 14:36:11 +0200},
biburl = {https://dblp.org/rec/conf/fscd/HirokawaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/KohlM23,
author = {Christina Kohl and
Aart Middeldorp},
editor = {Adam Naumowicz and
Ren{\'{e}} Thiemann},
title = {Formalizing Almost Development Closed Critical Pairs (Short Paper)},
booktitle = {14th International Conference on Interactive Theorem Proving, {ITP}
2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
series = {LIPIcs},
volume = {268},
pages = {38:1--38:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.38},
doi = {10.4230/LIPICS.ITP.2023.38},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/KohlM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-14036,
author = {Nao Hirokawa and
Aart Middeldorp},
title = {Hydra Battles and {AC} Termination, Revisited},
journal = {CoRR},
volume = {abs/2307.14036},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.14036},
doi = {10.48550/ARXIV.2307.14036},
eprinttype = {arXiv},
eprint = {2307.14036},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-14036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-14805,
author = {Fabian Mitterwallner and
Aart Middeldorp and
Ren{\'{e}} Thiemann},
title = {Linear Termination over {N} is Undecidable},
journal = {CoRR},
volume = {abs/2307.14805},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.14805},
doi = {10.48550/ARXIV.2307.14805},
eprinttype = {arXiv},
eprint = {2307.14805},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-14805.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-12112,
author = {Jonas Sch{\"{o}}pf and
Aart Middeldorp},
title = {Confluence Criteria for Logically Constrained Rewrite Systems (Full
Version)},
journal = {CoRR},
volume = {abs/2309.12112},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.12112},
doi = {10.48550/ARXIV.2309.12112},
eprinttype = {arXiv},
eprint = {2309.12112},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-12112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/MitterwallnerM22,
author = {Fabian Mitterwallner and
Aart Middeldorp},
editor = {Amy P. Felty},
title = {Polynomial Termination Over {\(\mathbb{N}\)} Is Undecidable},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.27},
doi = {10.4230/LIPICS.FSCD.2022.27},
timestamp = {Tue, 28 Jun 2022 15:50:51 +0200},
biburl = {https://dblp.org/rec/conf/fscd/MitterwallnerM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MiddeldorpNS21,
author = {Aart Middeldorp and
Julian Nagele and
Kiraku Shintani},
title = {CoCo 2019: report on the eighth confluence competition},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {6},
pages = {905--916},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00620-4},
doi = {10.1007/S10009-021-00620-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MiddeldorpNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/LochmannMMF21,
author = {Alexander Lochmann and
Aart Middeldorp and
Fabian Mitterwallner and
Bertram Felgenhauer},
editor = {Catalin Hritcu and
Andrei Popescu},
title = {A verified decision procedure for the first-order theory of rewriting
for linear variable-separated rewrite systems},
booktitle = {{CPP} '21: 10th {ACM} {SIGPLAN} International Conference on Certified
Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021},
pages = {250--263},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437992.3439918},
doi = {10.1145/3437992.3439918},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/LochmannMMF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MitterwallnerLM21,
author = {Fabian Mitterwallner and
Alexander Lochmann and
Aart Middeldorp and
Bertram Felgenhauer},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Certifying Proofs in the First-Order Theory of Rewriting},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {127--144},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_7},
doi = {10.1007/978-3-030-72013-1\_7},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MitterwallnerLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LochmannM20,
author = {Alexander Lochmann and
Aart Middeldorp},
editor = {Armin Biere and
David Parker},
title = {Formalized Proofs of the Infinity and Normal Form Predicates in the
First-Order Theory of Rewriting},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {178--194},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_11},
doi = {10.1007/978-3-030-45237-7\_11},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LochmannM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HirokawaMSW19,
author = {Nao Hirokawa and
Aart Middeldorp and
Christian Sternagel and
Sarah Winkler},
title = {Abstract Completion, Formalized},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:19)2019},
doi = {10.23638/LMCS-15(3:19)2019},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/HirokawaMSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KohlM19,
author = {Christina Kohl and
Aart Middeldorp},
editor = {Pascal Fontaine},
title = {Composing Proof Terms},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {337--353},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_20},
doi = {10.1007/978-3-030-29436-6\_20},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KohlM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/FelgenhauerMPR19,
author = {Bertram Felgenhauer and
Aart Middeldorp and
T. V. H. Prathamesh and
Franziska Rapp},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A verified ground confluence tool for linear variable-separated rewrite
systems in Isabelle/HOL},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {132--143},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294098},
doi = {10.1145/3293880.3294098},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/FelgenhauerMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MiddeldorpNS19,
author = {Aart Middeldorp and
Julian Nagele and
Kiraku Shintani},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {Confluence Competition 2019},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {25--40},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_2},
doi = {10.1007/978-3-030-17502-3\_2},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MiddeldorpNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12554,
author = {Sarah Winkler and
Aart Middeldorp},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Tools in Term Rewriting for Education},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {54--72},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.4},
doi = {10.4204/EPTCS.313.4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RappM18,
author = {Franziska Rapp and
Aart Middeldorp},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {{FORT} 2.0},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {81--88},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_6},
doi = {10.1007/978-3-319-94205-6\_6},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/RappM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HirokawaNM18,
author = {Nao Hirokawa and
Julian Nagele and
Aart Middeldorp},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Cops and CoCoWeb: Infrastructure for Confluence Tools},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {346--353},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_23},
doi = {10.1007/978-3-319-94205-6\_23},
timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HirokawaNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/WinklerM18,
author = {Sarah Winkler and
Aart Middeldorp},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Completion for Logically Constrained Rewriting},
booktitle = {3rd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
series = {LIPIcs},
volume = {108},
pages = {30:1--30:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.30},
doi = {10.4230/LIPICS.FSCD.2018.30},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/WinklerM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KohlM18,
author = {Christina Kohl and
Aart Middeldorp},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {ProTeM: {A} Proof Term Manipulator (System Description)},
booktitle = {3rd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
series = {LIPIcs},
volume = {108},
pages = {31:1--31:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.31},
doi = {10.4230/LIPICS.FSCD.2018.31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/KohlM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/0001HHMN0SZ18,
author = {Takahito Aoto and
Makoto Hamana and
Nao Hirokawa and
Aart Middeldorp and
Julian Nagele and
Naoki Nishida and
Kiraku Shintani and
Harald Zankl},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Confluence Competition 2018},
booktitle = {3rd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
series = {LIPIcs},
volume = {108},
pages = {32:1--32:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.32},
doi = {10.4230/LIPICS.FSCD.2018.32},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/0001HHMN0SZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08437,
author = {Nao Hirokawa and
Aart Middeldorp and
Christian Sternagel and
Sarah Winkler},
title = {Abstract Completion, Formalized},
journal = {CoRR},
volume = {abs/1802.08437},
year = {2018},
url = {http://arxiv.org/abs/1802.08437},
eprinttype = {arXiv},
eprint = {1802.08437},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KopMS15,
author = {Cynthia Kop and
Aart Middeldorp and
Thomas Sternagel},
title = {Complexity of Conditional Term Rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:6)2017},
doi = {10.23638/LMCS-13(1:6)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KopMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FeltyM17,
author = {Amy P. Felty and
Aart Middeldorp},
title = {Preface: Selected Extended Papers of {CADE} 2015},
journal = {J. Autom. Reason.},
volume = {58},
number = {3},
pages = {311--312},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9403-3},
doi = {10.1007/S10817-016-9403-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FeltyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NageleFM17,
author = {Julian Nagele and
Bertram Felgenhauer and
Aart Middeldorp},
editor = {Leonardo de Moura},
title = {{CSI:} New Evidence - {A} Progress Report},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {385--397},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_24},
doi = {10.1007/978-3-319-63046-5\_24},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/NageleFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FelgenhauerM17,
author = {Bertram Felgenhauer and
Aart Middeldorp},
editor = {Dang Van Hung and
Deepak Kapur},
title = {Constructing Cycles in the Simplex Method for {DPLL(T)}},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10580},
pages = {213--228},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67729-3\_13},
doi = {10.1007/978-3-319-67729-3\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/FelgenhauerM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaMSW17,
author = {Nao Hirokawa and
Aart Middeldorp and
Christian Sternagel and
Sarah Winkler},
editor = {Dale Miller},
title = {Infinite Runs in Abstract Completion},
booktitle = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
pages = {19:1--19:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.19},
doi = {10.4230/LIPICS.FSCD.2017.19},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/HirokawaMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-07876,
author = {Julian Nagele and
Aart Middeldorp},
title = {CoCoWeb - {A} Convenient Web Interface for Confluence Tools},
journal = {CoRR},
volume = {abs/1708.07876},
year = {2017},
url = {http://arxiv.org/abs/1708.07876},
eprinttype = {arXiv},
eprint = {1708.07876},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/0002WHM16,
author = {Akihisa Yamada and
Sarah Winkler and
Nao Hirokawa and
Aart Middeldorp},
title = {{AC-KBO} revisited},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {2},
pages = {163--188},
year = {2016},
url = {https://doi.org/10.1017/S1471068415000083},
doi = {10.1017/S1471068415000083},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/0002WHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/NageleM16,
author = {Julian Nagele and
Aart Middeldorp},
editor = {Jasmin Christian Blanchette and
Stephan Merz},
title = {Certification of Classical Confluence Results for Left-Linear Term
Rewrite Systems},
booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
2016, Nancy, France, August 22-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9807},
pages = {290--306},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43144-4\_18},
doi = {10.1007/978-3-319-43144-4\_18},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/NageleM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/RappM16,
author = {Franziska Rapp and
Aart Middeldorp},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground
Rewrite Systems},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {36:1--36:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.36},
doi = {10.4230/LIPICS.FSCD.2016.36},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/RappM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ZanklFM15,
author = {Harald Zankl and
Bertram Felgenhauer and
Aart Middeldorp},
title = {Labelings for Decreasing Diagrams},
journal = {J. Autom. Reason.},
volume = {54},
number = {2},
pages = {101--133},
year = {2015},
url = {https://doi.org/10.1007/s10817-014-9316-y},
doi = {10.1007/S10817-014-9316-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ZanklFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ZanklWM15,
author = {Harald Zankl and
Sarah Winkler and
Aart Middeldorp},
title = {Beyond polynomials and Peano arithmetic - automation of elementary
and ordinal interpretations},
journal = {J. Symb. Comput.},
volume = {69},
pages = {129--158},
year = {2015},
url = {https://doi.org/10.1016/j.jsc.2014.09.033},
doi = {10.1016/J.JSC.2014.09.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ZanklWM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FelgenhauerMZO15,
author = {Bertram Felgenhauer and
Aart Middeldorp and
Harald Zankl and
Vincent van Oostrom},
title = {Layer Systems for Proving Confluence},
journal = {{ACM} Trans. Comput. Log.},
volume = {16},
number = {2},
pages = {14:1--14:32},
year = {2015},
url = {https://doi.org/10.1145/2710017},
doi = {10.1145/2710017},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/FelgenhauerMZO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaMM15,
author = {Nao Hirokawa and
Aart Middeldorp and
Georg Moser},
editor = {Maribel Fern{\'{a}}ndez},
title = {Leftmost Outermost Revisited},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {209--222},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.209},
doi = {10.4230/LIPICS.RTA.2015.209},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/HirokawaMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KopMS15,
author = {Cynthia Kop and
Aart Middeldorp and
Thomas Sternagel},
editor = {Maribel Fern{\'{a}}ndez},
title = {Conditional Complexity},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {223--240},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.223},
doi = {10.4230/LIPICS.RTA.2015.223},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/KopMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NageleFM15,
author = {Julian Nagele and
Bertram Felgenhauer and
Aart Middeldorp},
editor = {Maribel Fern{\'{a}}ndez},
title = {Improving Automatic Confluence Analysis of Rewrite Systems by Redundant
Rules},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {257--268},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.257},
doi = {10.4230/LIPICS.RTA.2015.257},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/NageleFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2015,
editor = {Amy P. Felty and
Aart Middeldorp},
title = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6},
doi = {10.1007/978-3-319-21401-6},
isbn = {978-3-319-21400-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/MiddeldorpR15,
editor = {Aart Middeldorp and
Femke van Raamsdonk},
title = {Proceedings 8th International Workshop on Computing with Terms and
Graphs, {TERMGRAPH} 2014, Vienna, Austria, July 13, 2014},
series = {{EPTCS}},
volume = {183},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.183},
doi = {10.4204/EPTCS.183},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiddeldorpR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NeurauterM14,
author = {Friedrich Neurauter and
Aart Middeldorp},
title = {Polynomial Interpretations over the Natural, Rational and Real Numbers
Revisited},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {3},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(3:22)2014},
doi = {10.2168/LMCS-10(3:22)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NeurauterM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/YamadaWHM14,
author = {Akihisa Yamada and
Sarah Winkler and
Nao Hirokawa and
Aart Middeldorp},
editor = {Michael Codish and
Eijiro Sumii},
title = {{AC-KBO} Revisited},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {319--335},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_20},
doi = {10.1007/978-3-319-07151-0\_20},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/YamadaWHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/HirokawaMS14,
author = {Nao Hirokawa and
Aart Middeldorp and
Christian Sternagel},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {A New and Formalized Proof of Abstract Completion},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {292--307},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_19},
doi = {10.1007/978-3-319-08970-6\_19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/HirokawaMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SternagelM14,
author = {Thomas Sternagel and
Aart Middeldorp},
editor = {Gilles Dowek},
title = {Conditional Confluence (System Description)},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {456--465},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_31},
doi = {10.1007/978-3-319-08918-8\_31},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/SternagelM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2013s,
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Geoff Sutcliffe and
Andrei Voronkov},
title = {{LPAR} 2013, 19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
South Africa, Short papers proceedings},
series = {EPiC Series in Computing},
volume = {26},
publisher = {EasyChair},
year = {2014},
url = {https://easychair.org/publications/volume/LPAR-19},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/2013s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YamadaWHM14,
author = {Akihisa Yamada and
Sarah Winkler and
Nao Hirokawa and
Aart Middeldorp},
title = {{AC-KBO} Revisited},
journal = {CoRR},
volume = {abs/1403.0406},
year = {2014},
url = {http://arxiv.org/abs/1403.0406},
eprinttype = {arXiv},
eprint = {1403.0406},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YamadaWHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FelgenhauerMZO14,
author = {Bertram Felgenhauer and
Aart Middeldorp and
Harald Zankl and
Vincent van Oostrom},
title = {Layer Systems for Proving Confluence},
journal = {CoRR},
volume = {abs/1404.1225},
year = {2014},
url = {http://arxiv.org/abs/1404.1225},
eprinttype = {arXiv},
eprint = {1404.1225},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FelgenhauerMZO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZanklFM14,
author = {Harald Zankl and
Bertram Felgenhauer and
Aart Middeldorp},
title = {Labelings for Decreasing Diagrams},
journal = {CoRR},
volume = {abs/1406.3139},
year = {2014},
url = {http://arxiv.org/abs/1406.3139},
eprinttype = {arXiv},
eprint = {1406.3139},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZanklFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HirokawaMZ13,
author = {Nao Hirokawa and
Aart Middeldorp and
Harald Zankl},
title = {Uncurrying for Termination and Complexity},
journal = {J. Autom. Reason.},
volume = {50},
number = {3},
pages = {279--315},
year = {2013},
url = {https://doi.org/10.1007/s10817-012-9248-3},
doi = {10.1007/S10817-012-9248-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HirokawaMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/WinklerSMK13,
author = {Sarah Winkler and
Haruhiko Sato and
Aart Middeldorp and
Masahito Kurihara},
title = {Multi-Completion with Termination Tools},
journal = {J. Autom. Reason.},
volume = {50},
number = {3},
pages = {317--354},
year = {2013},
url = {https://doi.org/10.1007/s10817-012-9249-2},
doi = {10.1007/S10817-012-9249-2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/WinklerSMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/WinklerM13,
author = {Sarah Winkler and
Aart Middeldorp},
editor = {Femke van Raamsdonk},
title = {Normalized Completion Revisited},
booktitle = {24th International Conference on Rewriting Techniques and Applications,
{RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands},
series = {LIPIcs},
volume = {21},
pages = {319--334},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.RTA.2013.319},
doi = {10.4230/LIPICS.RTA.2013.319},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/WinklerM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/WinklerZM13,
author = {Sarah Winkler and
Harald Zankl and
Aart Middeldorp},
editor = {Femke van Raamsdonk},
title = {Beyond Peano Arithmetic - Automatically Proving Termination of the
Goodstein Sequence},
booktitle = {24th International Conference on Rewriting Techniques and Applications,
{RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands},
series = {LIPIcs},
volume = {21},
pages = {335--351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.RTA.2013.335},
doi = {10.4230/LIPICS.RTA.2013.335},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/WinklerZM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2013,
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5},
doi = {10.1007/978-3-642-45221-5},
isbn = {978-3-642-45220-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AotoM12,
author = {Takahito Aoto and
Aart Middeldorp},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {464},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.09.009},
doi = {10.1016/J.TCS.2012.09.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AotoM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Middeldorp12,
author = {Aart Middeldorp},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Matrix Interpretations for Polynomial Derivational Complexity of Rewrite
Systems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {12},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_2},
doi = {10.1007/978-3-642-28717-6\_2},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Middeldorp12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NeurauterM12,
author = {Friedrich Neurauter and
Aart Middeldorp},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {On the Domain and Dimension Hierarchy of Matrix Interpretations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {320--334},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_25},
doi = {10.1007/978-3-642-28717-6\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/NeurauterM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WinklerZM12,
author = {Sarah Winkler and
Harald Zankl and
Aart Middeldorp},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Ordinals and Knuth-Bendix Orders},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {420--434},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_33},
doi = {10.1007/978-3-642-28717-6\_33},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/WinklerZM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HirokawaM11,
author = {Nao Hirokawa and
Aart Middeldorp},
title = {Decreasing Diagrams and Relative Termination},
journal = {J. Autom. Reason.},
volume = {47},
number = {4},
pages = {481--501},
year = {2011},
url = {https://doi.org/10.1007/s10817-011-9238-x},
doi = {10.1007/S10817-011-9238-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HirokawaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WinklerM11,
author = {Sarah Winkler and
Aart Middeldorp},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {{AC} Completion with Termination Tools},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {492--498},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_37},
doi = {10.1007/978-3-642-22438-6\_37},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/WinklerM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZanklFM11,
author = {Harald Zankl and
Bertram Felgenhauer and
Aart Middeldorp},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {{CSI} - {A} Confluence Tool},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {499--505},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_38},
doi = {10.1007/978-3-642-22438-6\_38},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ZanklFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/MiddeldorpMNWZ11,
author = {Aart Middeldorp and
Georg Moser and
Friedrich Neurauter and
Johannes Waldmann and
Harald Zankl},
editor = {Franz Winkler},
title = {Joint Spectral Radius Theory for Automated Complexity Analysis of
Rewrite Systems},
booktitle = {Algebraic Informatics - 4th International Conference, {CAI} 2011,
Linz, Austria, June 21-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6742},
pages = {1--20},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21493-6\_1},
doi = {10.1007/978-3-642-21493-6\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/MiddeldorpMNWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FelgenhauerZM11,
author = {Bertram Felgenhauer and
Harald Zankl and
Aart Middeldorp},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Layer Systems for Proving Confluence},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {288--299},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.288},
doi = {10.4230/LIPICS.FSTTCS.2011.288},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FelgenhauerZM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NeurauterM11,
author = {Friedrich Neurauter and
Aart Middeldorp},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Revisiting Matrix Interpretations for Proving Termination of Term
Rewriting},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {251--266},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.251},
doi = {10.4230/LIPICS.RTA.2011.251},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/NeurauterM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ZanklFM11,
author = {Harald Zankl and
Bertram Felgenhauer and
Aart Middeldorp},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Labelings for Decreasing Diagrams},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {377--392},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.377},
doi = {10.4230/LIPICS.RTA.2011.377},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/ZanklFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HirokawaM10,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Decreasing Diagrams and Relative Termination},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {487--501},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_41},
doi = {10.1007/978-3-642-14203-1\_41},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/HirokawaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NeurauterMZ10,
author = {Friedrich Neurauter and
Aart Middeldorp and
Harald Zankl},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Monotonicity Criteria for Polynomial Interpretations over the Naturals},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {502--517},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_42},
doi = {10.1007/978-3-642-14203-1\_42},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/NeurauterMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WinklerM10,
author = {Sarah Winkler and
Aart Middeldorp},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Termination Tools in Ordered Completion},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {518--532},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_43},
doi = {10.1007/978-3-642-14203-1\_43},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/WinklerM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ZanklM10,
author = {Harald Zankl and
Aart Middeldorp},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {Satisfiability of Non-linear (Ir)rational Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {481--500},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_27},
doi = {10.1007/978-3-642-17511-4\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ZanklM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NeurauterZM10,
author = {Friedrich Neurauter and
Harald Zankl and
Aart Middeldorp},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Revisiting Matrix Interpretations for Polynomial Derivational Complexity
of Term Rewriting},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {550--564},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_39},
doi = {10.1007/978-3-642-16242-8\_39},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NeurauterZM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NeurauterM10,
author = {Friedrich Neurauter and
Aart Middeldorp},
editor = {Christopher Lynch},
title = {Polynomial Interpretations over the Reals do not Subsume Polynomial
Interpretations over the Integers},
booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques
and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland,
{UK}},
series = {LIPIcs},
volume = {6},
pages = {243--258},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.RTA.2010.243},
doi = {10.4230/LIPICS.RTA.2010.243},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/NeurauterM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/WinklerSMK10,
author = {Sarah Winkler and
Haruhiko Sato and
Aart Middeldorp and
Masahito Kurihara},
editor = {Christopher Lynch},
title = {Optimizing mkbTT},
booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques
and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland,
{UK}},
series = {LIPIcs},
volume = {6},
pages = {373--384},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.RTA.2010.373},
doi = {10.4230/LIPICS.RTA.2010.373},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/WinklerSMK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ZanklSHM10,
author = {Harald Zankl and
Christian Sternagel and
Dieter Hofbauer and
Aart Middeldorp},
editor = {Jan van Leeuwen and
Anca Muscholl and
David Peleg and
Jaroslav Pokorn{\'{y}} and
Bernhard Rumpe},
title = {Finding and Certifying Loops},
booktitle = {{SOFSEM} 2010: Theory and Practice of Computer Science, 36th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 23-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5901},
pages = {755--766},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11266-9\_63},
doi = {10.1007/978-3-642-11266-9\_63},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ZanklSHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-3733,
author = {Harald Zankl and
Nao Hirokawa and
Aart Middeldorp},
editor = {Eduardo Bonelli},
title = {Uncurrying for Innermost Termination and Derivational Complexity},
booktitle = {Proceedings 5th International Workshop on Higher-Order Rewriting,
{HOR} 2010, Edinburgh, UK, July 14, 2010},
series = {{EPTCS}},
volume = {49},
pages = {46--57},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.49.4},
doi = {10.4204/EPTCS.49.4},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-3733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZanklM09,
author = {Harald Zankl and
Aart Middeldorp},
title = {Increasing interpretations},
journal = {Ann. Math. Artif. Intell.},
volume = {56},
number = {1},
pages = {87--108},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9144-7},
doi = {10.1007/S10472-009-9144-7},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/ZanklM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KorpM09,
author = {Martin Korp and
Aart Middeldorp},
title = {Match-bounds revisited},
journal = {Inf. Comput.},
volume = {207},
number = {11},
pages = {1259--1283},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2009.02.010},
doi = {10.1016/J.IC.2009.02.010},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KorpM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SatoKWM09,
author = {Haruhiko Sato and
Masahito Kurihara and
Sarah Winkler and
Aart Middeldorp},
title = {Constraint-Based Multi-Completion Procedures for Term Rewriting Systems},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {2},
pages = {220--234},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.220},
doi = {10.1587/TRANSINF.E92.D.220},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SatoKWM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ZanklHM09,
author = {Harald Zankl and
Nao Hirokawa and
Aart Middeldorp},
title = {{KBO} Orientability},
journal = {J. Autom. Reason.},
volume = {43},
number = {2},
pages = {173--201},
year = {2009},
url = {https://doi.org/10.1007/s10817-009-9131-z},
doi = {10.1007/S10817-009-9131-Z},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ZanklHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KorpM09,
author = {Martin Korp and
Aart Middeldorp},
editor = {Renate A. Schmidt},
title = {Beyond Dependency Graphs},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {339--354},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_26},
doi = {10.1007/978-3-642-02959-2\_26},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KorpM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KorpSZM09,
author = {Martin Korp and
Christian Sternagel and
Harald Zankl and
Aart Middeldorp},
editor = {Ralf Treinen},
title = {Tyrolean Termination Tool 2},
booktitle = {Rewriting Techniques and Applications, 20th International Conference,
{RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5595},
pages = {295--304},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02348-4\_21},
doi = {10.1007/978-3-642-02348-4\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/KorpSZM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrs/2008,
editor = {Aart Middeldorp},
title = {Proceedings of the 8th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July
14, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {237},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/237/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wrs/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-0869,
author = {Ir{\`{e}}ne Durand and
Aart Middeldorp},
title = {On the Complexity of Deciding Call-by-Need},
journal = {CoRR},
volume = {abs/0901.0869},
year = {2009},
url = {http://arxiv.org/abs/0901.0869},
eprinttype = {arXiv},
eprint = {0901.0869},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-0869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-2853,
author = {Nao Hirokawa and
Aart Middeldorp},
title = {Decreasing Diagrams and Relative Termination},
journal = {CoRR},
volume = {abs/0910.2853},
year = {2009},
url = {http://arxiv.org/abs/0910.2853},
eprinttype = {arXiv},
eprint = {0910.2853},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-2853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/ZanklM08,
author = {Harald Zankl and
Aart Middeldorp},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Increasing Interpretations},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {191--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_16},
doi = {10.1007/978-3-540-85110-3\_16},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/ZanklM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SatoWKM08,
author = {Haruhiko Sato and
Sarah Winkler and
Masahito Kurihara and
Aart Middeldorp},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {Multi-completion with Termination Tools (System Description)},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {306--312},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_26},
doi = {10.1007/978-3-540-71070-7\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SatoWKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KorpM08,
author = {Martin Korp and
Aart Middeldorp},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Friedrich Otto and
Henning Fernau},
title = {Match-Bounds with Dependency Pairs for Proving Termination of Rewrite
Systems},
booktitle = {Language and Automata Theory and Applications, Second International
Conference, {LATA} 2008, Tarragona, Spain, March 13-19, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5196},
pages = {321--332},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88282-4\_30},
doi = {10.1007/978-3-540-88282-4\_30},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/KorpM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HirokawaMZ08,
author = {Nao Hirokawa and
Aart Middeldorp and
Harald Zankl},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Uncurrying for Termination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {667--681},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_46},
doi = {10.1007/978-3-540-89439-1\_46},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HirokawaMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FuhsGMSTZ08,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Aart Middeldorp and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Harald Zankl},
editor = {Andrei Voronkov},
title = {Maximal Termination},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {110--125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_8},
doi = {10.1007/978-3-540-70590-1\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/FuhsGMSTZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SternagelM08,
author = {Christian Sternagel and
Aart Middeldorp},
editor = {Andrei Voronkov},
title = {Root-Labeling},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {336--350},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_23},
doi = {10.1007/978-3-540-70590-1\_23},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/SternagelM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Middeldorp09,
author = {Aart Middeldorp},
editor = {Aart Middeldorp},
title = {Preface},
booktitle = {Proceedings of the 8th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July
14, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {237},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.031},
doi = {10.1016/J.ENTCS.2009.03.031},
timestamp = {Thu, 09 Mar 2023 13:23:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Middeldorp09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZanklSM09,
author = {Harald Zankl and
Christian Sternagel and
Aart Middeldorp},
editor = {Moreno Falaschi},
title = {Transforming {SAT} into Termination of Rewriting},
booktitle = {Proceedings of the 17th International Workshop on Functional and (Constraint)
Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {246},
pages = {199--214},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.023},
doi = {10.1016/J.ENTCS.2009.07.023},
timestamp = {Thu, 09 Mar 2023 14:45:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZanklSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HirokawaM07,
author = {Nao Hirokawa and
Aart Middeldorp},
title = {Tyrolean termination tool: Techniques and features},
journal = {Inf. Comput.},
volume = {205},
number = {4},
pages = {474--511},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.08.010},
doi = {10.1016/J.IC.2006.08.010},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HirokawaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KoprowskiM07,
author = {Adam Koprowski and
Aart Middeldorp},
editor = {Frank Pfenning},
title = {Predictive Labeling with Dependency Pairs Using {SAT}},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {410--425},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_31},
doi = {10.1007/978-3-540-73595-3\_31},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KoprowskiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KorpM07,
author = {Martin Korp and
Aart Middeldorp},
editor = {Franz Baader},
title = {Proving Termination of Rewrite Systems Using Bounds},
booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {273--287},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73449-9\_21},
doi = {10.1007/978-3-540-73449-9\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/KorpM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ZanklM07,
author = {Harald Zankl and
Aart Middeldorp},
editor = {Franz Baader},
title = {Satisfying {KBO} Constraints},
booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {389--403},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73449-9\_29},
doi = {10.1007/978-3-540-73449-9\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ZanklM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FuhsGMSTZ07,
author = {Carsten Fuhs and
J{\"{u}}rgen Giesl and
Aart Middeldorp and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Harald Zankl},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {{SAT} Solving for Termination Analysis with Polynomial Interpretations},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {340--354},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_33},
doi = {10.1007/978-3-540-72788-0\_33},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/FuhsGMSTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ZanklHM07,
author = {Harald Zankl and
Nao Hirokawa and
Aart Middeldorp},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Constraints for Argument Filterings},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {579--590},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_50},
doi = {10.1007/978-3-540-69507-3\_50},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ZanklHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThiemannM08,
author = {Ren{\'{e}} Thiemann and
Aart Middeldorp},
editor = {J{\"{u}}rgen Giesl},
title = {Innermost Termination of Rewrite Systems by Labeling},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {3--19},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.050},
doi = {10.1016/J.ENTCS.2008.03.050},
timestamp = {Mon, 13 Feb 2023 13:51:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ThiemannM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schneider-KampFTGACMZ07,
author = {Peter Schneider{-}Kamp and
Carsten Fuhs and
Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl and
Elena Annov and
Michael Codish and
Aart Middeldorp and
Harald Zankl},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {Implementing {RPO} and {POLO} using {SAT}},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1249},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schneider-KampFTGACMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaM06,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {Frank Pfenning},
title = {Predictive Labeling},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {313--327},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_24},
doi = {10.1007/11805618\_24},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/HirokawaM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608032,
author = {Harald Zankl and
Aart Middeldorp},
title = {Satisfying {KBO} Constraints},
journal = {CoRR},
volume = {abs/cs/0608032},
year = {2006},
url = {http://arxiv.org/abs/cs/0608032},
eprinttype = {arXiv},
eprint = {cs/0608032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DurandM05,
author = {Ir{\`{e}}ne Durand and
Aart Middeldorp},
title = {Decidable call-by-need computations in term rewriting},
journal = {Inf. Comput.},
volume = {196},
number = {2},
pages = {95--126},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.10.003},
doi = {10.1016/J.IC.2004.10.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DurandM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HirokawaM05,
author = {Nao Hirokawa and
Aart Middeldorp},
title = {Automating the dependency pair method},
journal = {Inf. Comput.},
volume = {199},
number = {1-2},
pages = {172--199},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.10.004},
doi = {10.1016/J.IC.2004.10.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HirokawaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaM05,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {J{\"{u}}rgen Giesl},
title = {Tyrolean Termination Tool},
booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
2005, Nara, Japan, April 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3467},
pages = {175--184},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32033-3\_14},
doi = {10.1007/978-3-540-32033-3\_14},
timestamp = {Wed, 25 Sep 2019 18:23:35 +0200},
biburl = {https://dblp.org/rec/conf/rta/HirokawaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005klop,
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3838},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548},
doi = {10.1007/11601548},
isbn = {3-540-30911-X},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2005klop.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GieslM04,
author = {J{\"{u}}rgen Giesl and
Aart Middeldorp},
title = {Transformation techniques for context-sensitive rewrite systems},
journal = {J. Funct. Program.},
volume = {14},
number = {4},
pages = {379--427},
year = {2004},
url = {https://doi.org/10.1017/S0956796803004945},
doi = {10.1017/S0956796803004945},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GieslM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HirokawaM04,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {Bruno Buchberger and
John A. Campbell},
title = {Polynomial Interpretations with Negative Coefficients},
booktitle = {Artificial Intelligence and Symbolic Computation, 7th International
Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3249},
pages = {185--198},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30210-0\_16},
doi = {10.1007/978-3-540-30210-0\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/HirokawaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MarinM04,
author = {Mircea Marin and
Aart Middeldorp},
editor = {Eugenio Moggi and
David Scott Warren},
title = {New completeness results for lazy conditional narrowing},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {120--131},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013979},
doi = {10.1145/1013963.1013979},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MarinM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaM04,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {Vincent van Oostrom},
title = {Dependency Pairs Revisited},
booktitle = {Rewriting Techniques and Applications, 15th International Conference,
{RTA} 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {249--268},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25979-4\_18},
doi = {10.1007/978-3-540-25979-4\_18},
timestamp = {Mon, 16 Sep 2019 15:32:17 +0200},
biburl = {https://dblp.org/rec/conf/rta/HirokawaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Middeldorp03,
author = {Aart Middeldorp},
title = {Preface},
journal = {Inf. Comput.},
volume = {183},
number = {2},
pages = {139},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00036-1},
doi = {10.1016/S0890-5401(03)00036-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Middeldorp03.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 = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HirokawaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HirokawaM03,
author = {Nao Hirokawa and
Aart Middeldorp},
editor = {Robert Nieuwenhuis},
title = {Tsukuba Termination Tool},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {311--320},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_22},
doi = {10.1007/3-540-44881-0\_22},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/HirokawaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GeserMOZ02,
author = {Alfons Geser and
Aart Middeldorp and
Enno Ohlebusch and
Hans Zantema},
title = {Relative Undecidability in Term Rewriting: I. The Termination Hierarchy},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {101--131},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3120},
doi = {10.1006/INCO.2002.3120},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GeserMOZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GeserMOZ02a,
author = {Alfons Geser and
Aart Middeldorp and
Enno Ohlebusch and
Hans Zantema},
title = {Relative Undecidability in Term Rewriting: {II.} The Confluence Hierarchy},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {132--148},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3150},
doi = {10.1006/INCO.2002.3150},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GeserMOZ02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/MiddeldorpSH02,
author = {Aart Middeldorp and
Taro Suzuki and
Mohamed Hamada},
title = {Complete Selection Functions for a Lazy Conditional Narrowing Calculus},
journal = {J. Funct. Log. Program.},
volume = {2002},
year = {2002},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-03.pdf},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jflp/MiddeldorpSH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/GieslM02,
author = {J{\"{u}}rgen Giesl and
Aart Middeldorp},
editor = {Masami Ito and
Masafumi Toyama},
title = {Innermost Termination of Context-Sensitive Rewriting},
booktitle = {Developments in Language Theory, 6th International Conference, {DLT}
2002, Kyoto, Japan, September 18-21, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2450},
pages = {231--244},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45005-X\_20},
doi = {10.1007/3-540-45005-X\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/GieslM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Middeldorp02,
author = {Aart Middeldorp},
editor = {Bernhard Gramlich and
Salvador Lucas},
title = {Approximations for Strategies and Termination},
booktitle = {2nd International Workshop on Reduction Strategies in Rewriting and
Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
July 21, 2002, Final Proceedings},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {6},
pages = {1--20},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80598-X},
doi = {10.1016/S1571-0661(04)80598-X},
timestamp = {Tue, 06 Dec 2022 15:13:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Middeldorp02.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 = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Middeldorp01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SuzukiM01,
author = {Taro Suzuki and
Aart Middeldorp},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {A Complete Selection Function for Lazy Conditional Narrowing},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {201--215},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_13},
doi = {10.1007/3-540-44716-4\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/SuzukiM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DurandM01,
author = {Ir{\`{e}}ne Durand and
Aart Middeldorp},
editor = {Furio Honsell and
Marino Miculan},
title = {On the Modularity of Deciding Call-by-Need},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {199--213},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_13},
doi = {10.1007/3-540-45315-6\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DurandM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2001,
editor = {Aart Middeldorp},
title = {Rewriting Techniques and Applications, 12th International Conference,
{RTA} 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2051},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45127-7},
doi = {10.1007/3-540-45127-7},
isbn = {3-540-42117-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MiddeldorpO00,
author = {Aart Middeldorp and
Hitoshi Ohsaki},
title = {Type Introduction for Equational Rewriting},
journal = {Acta Informatica},
volume = {36},
number = {12},
pages = {1007--1029},
year = {2000},
url = {https://doi.org/10.1007/PL00013300},
doi = {10.1007/PL00013300},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MiddeldorpO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YamadaALM00,
author = {Toshiyuki Yamada and
J{\"{u}}rgen Avenhaus and
Carlos Lor{\'{\i}}a{-}S{\'{a}}enz and
Aart Middeldorp},
title = {Logicality of conditional rewrite systems},
journal = {Theor. Comput. Sci.},
volume = {236},
number = {1-2},
pages = {209--232},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00210-8},
doi = {10.1016/S0304-3975(99)00210-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/YamadaALM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GieslM00,
author = {J{\"{u}}rgen Giesl and
Aart Middeldorp},
editor = {David A. McAllester},
title = {Eliminating Dummy Elimination},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {309--323},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_25},
doi = {10.1007/10721959\_25},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GieslM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/OhsakiMG00,
author = {Hitoshi Ohsaki and
Aart Middeldorp and
J{\"{u}}rgen Giesl},
editor = {Peter Clote and
Helmut Schwichtenberg},
title = {Equational Termination by Semantic Labelling},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
Germany, August 21-26, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1862},
pages = {457--471},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44622-2\_31},
doi = {10.1007/3-540-44622-2\_31},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/OhsakiMG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Middeldorp99,
author = {Aart Middeldorp},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Term Rewriting},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {577},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_40},
doi = {10.1007/3-540-48168-0\_40},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Middeldorp99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GieslM99,
author = {J{\"{u}}rgen Giesl and
Aart Middeldorp},
editor = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {Transforming Context-Sensitive Rewrite Systems},
booktitle = {Rewriting Techniques and Applications, 10th International Conference,
RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1631},
pages = {271--287},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48685-2\_23},
doi = {10.1007/3-540-48685-2\_23},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/GieslM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/1999,
editor = {Aart Middeldorp and
Taisuke Sato},
title = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424},
doi = {10.1007/10705424},
isbn = {3-540-66677-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HanusLM98,
author = {Michael Hanus and
Salvador Lucas and
Aart Middeldorp},
title = {Strongly Sequential and Inductively Sequential Term Rewriting Systems},
journal = {Inf. Process. Lett.},
volume = {67},
number = {1},
pages = {1--8},
year = {1998},
url = {https://doi.org/10.1016/S0020-0190(98)00016-7},
doi = {10.1016/S0020-0190(98)00016-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HanusLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MiddeldorpO98,
author = {Aart Middeldorp and
Satoshi Okui},
title = {A Deterministic Lazy Narrowing Calculus},
journal = {J. Symb. Comput.},
volume = {25},
number = {6},
pages = {733--757},
year = {1998},
url = {https://doi.org/10.1006/jsco.1997.0197},
doi = {10.1006/JSCO.1997.0197},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MiddeldorpO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiddeldorpZ97,
author = {Aart Middeldorp and
Hans Zantema},
title = {Simple Termination of Rewrite Systems},
journal = {Theor. Comput. Sci.},
volume = {175},
number = {1},
pages = {127--158},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00172-7},
doi = {10.1016/S0304-3975(96)00172-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MiddeldorpZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DurandM97,
author = {Ir{\`{e}}ne Durand and
Aart Middeldorp},
editor = {William McCune},
title = {Decidable Call by Need Computations in term Rewriting (Extended Abstract)},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {4--18},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_2},
doi = {10.1007/3-540-63104-6\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DurandM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/OhsakiM97,
author = {Hitoshi Ohsaki and
Aart Middeldorp},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Type Introduction for Equational Rewriting},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {283--293},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_29},
doi = {10.1007/3-540-63045-7\_29},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/OhsakiM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Middeldorp97,
author = {Aart Middeldorp},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Call by Need Computations to Root-Stable Form},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {94--105},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263711},
doi = {10.1145/263699.263711},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Middeldorp97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/YamadaALM97,
author = {Toshiyuki Yamada and
J{\"{u}}rgen Avenhaus and
Carlos Lor{\'{\i}}a{-}S{\'{a}}enz and
Aart Middeldorp},
editor = {Michel Bidoit and
Max Dauchet},
title = {Logicality of Conditional Rewrite Systems},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {141--152},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030592},
doi = {10.1007/BFB0030592},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/YamadaALM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GeserMOZ97,
author = {Alfons Geser and
Aart Middeldorp and
Enno Ohlebusch and
Hans Zantema},
editor = {Michel Bidoit and
Max Dauchet},
title = {Relative Undecidability in the Termination Hierarchy of Single Rewrite
Rules},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {237--248},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030600},
doi = {10.1007/BFB0030600},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GeserMOZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AntoyM96,
author = {Sergio Antoy and
Aart Middeldorp},
title = {A Sequential Reduction Strategy},
journal = {Theor. Comput. Sci.},
volume = {165},
number = {1},
pages = {75--95},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)00041-2},
doi = {10.1016/0304-3975(96)00041-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AntoyM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiddeldorpOI96,
author = {Aart Middeldorp and
Satoshi Okui and
Tetsuo Ida},
title = {Lazy Narrowing: Strong Completeness and Eager Variable Elimination},
journal = {Theor. Comput. Sci.},
volume = {167},
number = {1{\&}2},
pages = {95--130},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)00071-0},
doi = {10.1016/0304-3975(96)00071-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MiddeldorpOI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MiddeldorpOZ96,
author = {Aart Middeldorp and
Hitoshi Ohsaki and
Hans Zantema},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Transforming Termination by Self-Labelling},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {373--387},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_101},
doi = {10.1007/3-540-61511-3\_101},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/MiddeldorpOZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GeserMOZ96,
author = {Alfons Geser and
Aart Middeldorp and
Enno Ohlebusch and
Hans Zantema},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Relative Undecidability in Term Rewriting},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {150--166},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_37},
doi = {10.1007/3-540-63172-0\_37},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GeserMOZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/MiddeldorpG95,
author = {Aart Middeldorp and
Bernhard Gramlich},
title = {Simple termination is difficult},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {6},
pages = {115--128},
year = {1995},
url = {https://doi.org/10.1007/BF01225647},
doi = {10.1007/BF01225647},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aaecc/MiddeldorpG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/NakaharaMI95,
author = {Koichi Nakahara and
Aart Middeldorp and
Tetsuo Ida},
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {A Complete Narrowing Calculus for Higher-Order Functional Logic Programming},
booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
pages = {97--114},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026816},
doi = {10.1007/BFB0026816},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/NakaharaMI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SuzukiMI95,
author = {Taro Suzuki and
Aart Middeldorp and
Tetsuo Ida},
editor = {Jieh Hsiang},
title = {Level-Confluence of Conditional Rewrite Systems with Extra Variables
in Right-Hand Sides},
booktitle = {Rewriting Techniques and Applications, 6th International Conference,
RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {914},
pages = {179--193},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59200-8\_56},
doi = {10.1007/3-540-59200-8\_56},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/SuzukiMI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/OkuiMI95,
author = {Satoshi Okui and
Aart Middeldorp and
Tetsuo Ida},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Lazy Narrowing: Strong Completeness and Eager Variable Elimination
(Extended Abstract)},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {394--408},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_209},
doi = {10.1007/3-540-59293-8\_209},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/OkuiMI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/MiddeldorpOI95,
author = {Aart Middeldorp and
Satoshi Okui and
Tetsuo Ida},
editor = {Robert Nieuwenhuis and
Albert Rubio},
title = {Lazy Narrowing: Strong Completeness and Eager Variable Elimination},
booktitle = {9th International Workshop on Unification, {UNIF} 1995, Sitges, Spain,
April 2-3, 1995},
pages = {43--46},
year = {1995},
timestamp = {Fri, 19 May 2023 16:00:29 +0200},
biburl = {https://dblp.org/rec/conf/unif/MiddeldorpOI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/MiddeldorpH94,
author = {Aart Middeldorp and
Erik Hamoen},
title = {Completeness Results for Basic Narrowing},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {5},
pages = {213--253},
year = {1994},
url = {https://doi.org/10.1007/BF01190830},
doi = {10.1007/BF01190830},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aaecc/MiddeldorpH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KlopMTV94,
author = {Jan Willem Klop and
Aart Middeldorp and
Yoshihito Toyama and
Roel C. de Vrijer},
title = {Modularity of Confluence: {A} Simplified Proof},
journal = {Inf. Process. Lett.},
volume = {49},
number = {2},
pages = {101--109},
year = {1994},
url = {https://doi.org/10.1016/0020-0190(94)90034-5},
doi = {10.1016/0020-0190(94)90034-5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/KlopMTV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Middeldorp94,
author = {Aart Middeldorp},
title = {Completeness of Combinations of Conditional Constructor Systems},
journal = {J. Symb. Comput.},
volume = {17},
number = {1},
pages = {3--21},
year = {1994},
url = {https://doi.org/10.1006/jsco.1994.1002},
doi = {10.1006/JSCO.1994.1002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Middeldorp94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AntoyM94,
author = {Sergio Antoy and
Aart Middeldorp},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Sequential Reduction Strategy},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {168--185},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_13},
doi = {10.1007/3-540-58431-5\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/AntoyM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MiddeldorpZ94,
author = {Aart Middeldorp and
Hans Zantema},
editor = {Alan Bundy},
title = {Simple Termination Revisited},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {451--465},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_33},
doi = {10.1007/3-540-58156-1\_33},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/MiddeldorpZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Middeldorp93,
author = {Aart Middeldorp},
title = {Modular Properties of Conditional Term Rewriting Systems},
journal = {Inf. Comput.},
volume = {104},
number = {1},
pages = {110--158},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1027},
doi = {10.1006/INCO.1993.1027},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Middeldorp93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MiddeldorpT93,
author = {Aart Middeldorp and
Yoshihito Toyama},
title = {Completeness of Combinations of Constructor Systems},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {331--348},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1024},
doi = {10.1006/JSCO.1993.1024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MiddeldorpT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MiddeldorpG93,
author = {Aart Middeldorp and
Bernhard Gramlich},
editor = {Claude Kirchner},
title = {Simple Termination is Difficult},
booktitle = {Rewriting Techniques and Applications, 5th International Conference,
RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {690},
pages = {228--242},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-662-21551-7\_18},
doi = {10.1007/978-3-662-21551-7\_18},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/MiddeldorpG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/MiddeldorpH92,
author = {Aart Middeldorp and
Erik Hamoen},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Counterexamples to Completeness Results for Basic Narrowing (Extended
Abstract)},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {244--258},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013830},
doi = {10.1007/BFB0013830},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/MiddeldorpH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/Middeldorp92,
author = {Aart Middeldorp},
editor = {Micha{\"{e}}l Rusinowitch and
Jean{-}Luc R{\'{e}}my},
title = {Completeness of Combinations of Conditional Constructor Systems},
booktitle = {Conditional Term Rewriting Systems, Third International Workshop,
CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {656},
pages = {82--96},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56393-8\_6},
doi = {10.1007/3-540-56393-8\_6},
timestamp = {Thu, 08 Aug 2019 14:41:47 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/Middeldorp92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KlopM91,
author = {Jan Willem Klop and
Aart Middeldorp},
title = {Sequentiality in Orthogonal Term Rewriting Systems},
journal = {J. Symb. Comput.},
volume = {12},
number = {2},
pages = {161--196},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80124-1},
doi = {10.1016/S0747-7171(08)80124-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KlopM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MiddeldorpT91,
author = {Aart Middeldorp and
Yoshihito Toyama},
editor = {Ronald V. Book},
title = {Completeness of Combinations of Constructor Systems},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {188--199},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_96},
doi = {10.1007/3-540-53904-2\_96},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/MiddeldorpT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/Middeldorp90,
author = {Aart Middeldorp},
editor = {St{\'{e}}phane Kaplan and
Mitsuhiro Okada},
title = {Confluence of the Disjoint Union of Conditional Term Rewriting Systems},
booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {516},
pages = {295--306},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54317-1\_99},
doi = {10.1007/3-540-54317-1\_99},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/Middeldorp90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Middeldorp89,
author = {Aart Middeldorp},
title = {A Sufficient Condition for the Termination of the Direct Sum of Term
Rewriting Systems},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {396--401},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39194},
doi = {10.1109/LICS.1989.39194},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Middeldorp89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Middeldorp89,
author = {Aart Middeldorp},
editor = {Nachum Dershowitz},
title = {Modular Aspects of Properties of Term Rewriting Systems Related to
Normal Forms},
booktitle = {Rewriting Techniques and Applications, 3rd International Conference,
RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {355},
pages = {263--277},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51081-8\_113},
doi = {10.1007/3-540-51081-8\_113},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Middeldorp89.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.
last updated on 2024-03-22 19:30 CET 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:
