Search dblp for Publications

export results for "toc:db/conf/rta/rta2005.bht:"

 download as .bib file

@inproceedings{DBLP:conf/rta/AbbottGL05,
  author       = {Michael Gordon Abbott and
                  Neil Ghani and
                  Christoph L{\"{u}}th},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Abstract Modularity},
  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        = {46--60},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_5},
  doi          = {10.1007/978-3-540-32033-3\_5},
  timestamp    = {Wed, 25 Sep 2019 18:23:35 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AbbottGL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoY05,
  author       = {Takahito Aoto and
                  Toshiyuki Yamada},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Dependency Pairs for Simply Typed Term Rewriting},
  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        = {120--134},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_10},
  doi          = {10.1007/978-3-540-32033-3\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/AotoY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonevaT05,
  author       = {Iovka Boneva and
                  Jean{-}Marc Talbot},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Automata and Logics for Unranked and Unordered Trees},
  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        = {500--515},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_36},
  doi          = {10.1007/978-3-540-32033-3\_36},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BonevaT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonfanteMM05,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Jean{-}Yves Moyen},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Quasi-interpretations and Small Space Bounds},
  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        = {150--164},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_12},
  doi          = {10.1007/978-3-540-32033-3\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BonfanteMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BouajjaniT05,
  author       = {Ahmed Bouajjani and
                  Tayssir Touili},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {On Computing Reachability Sets of Process Rewrite Systems},
  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        = {484--499},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_35},
  doi          = {10.1007/978-3-540-32033-3\_35},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BouajjaniT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BournezG05,
  author       = {Olivier Bournez and
                  Florent Garnier},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Proving Positive Almost-Sure Termination},
  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        = {323--337},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_24},
  doi          = {10.1007/978-3-540-32033-3\_24},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BournezG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Cheney05,
  author       = {James Cheney},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Equivariant Unification},
  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        = {74--89},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_7},
  doi          = {10.1007/978-3-540-32033-3\_7},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/Cheney05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Comon-LundhD05,
  author       = {Hubert Comon{-}Lundh and
                  St{\'{e}}phanie Delaune},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {The Finite Variant Property: How to Get Rid of Some Algebraic Properties},
  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        = {294--307},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_22},
  doi          = {10.1007/978-3-540-32033-3\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Comon-LundhD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Dershowitz05,
  author       = {Nachum Dershowitz},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Open. Closed. Open},
  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        = {376--393},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_28},
  doi          = {10.1007/978-3-540-32033-3\_28},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Dershowitz05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DershowitzE05,
  author       = {Nachum Dershowitz and
                  E. Castedo Ellerman},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Leanest Quasi-orderings},
  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        = {32--45},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_4},
  doi          = {10.1007/978-3-540-32033-3\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/DershowitzE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DowekW05,
  author       = {Gilles Dowek and
                  Benjamin Werner},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Arithmetic as a Theory Modulo},
  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        = {423--437},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_31},
  doi          = {10.1007/978-3-540-32033-3\_31},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/DowekW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/EscobarMT05,
  author       = {Santiago Escobar and
                  Jos{\'{e}} Meseguer and
                  Prasanna Thati},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Natural Narrowing for General Term Rewriting Systems},
  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        = {279--293},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_21},
  doi          = {10.1007/978-3-540-32033-3\_21},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/EscobarMT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Felty05,
  author       = {Amy P. Felty},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying
                  Code},
  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        = {394--406},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_29},
  doi          = {10.1007/978-3-540-32033-3\_29},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Felty05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FernandezGR05,
  author       = {Mirtha{-}Lina Fern{\'{a}}ndez and
                  Guillem Godoy and
                  Albert Rubio},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Orderings for Innermost Termination},
  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        = {17--31},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_3},
  doi          = {10.1007/978-3-540-32033-3\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/FernandezGR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GeserHWZ05,
  author       = {Alfons Geser and
                  Dieter Hofbauer and
                  Johannes Waldmann and
                  Hans Zantema},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {On Tree Automata that Certify Termination of Left-Linear Term Rewriting
                  Systems},
  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        = {353--367},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_26},
  doi          = {10.1007/978-3-540-32033-3\_26},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/GeserHWZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Hamana05,
  author       = {Makoto Hamana},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Universal Algebra for Termination of Higher-Order Rewriting},
  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        = {135--149},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_11},
  doi          = {10.1007/978-3-540-32033-3\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Hamana05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HendrixCM05,
  author       = {Joe Hendrix and
                  Manuel Clavel and
                  Jos{\'{e}} Meseguer},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {A Sufficient Completeness Reasoning Tool for Partial Specifications},
  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        = {165--174},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_13},
  doi          = {10.1007/978-3-540-32033-3\_13},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HendrixCM05.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    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/HirokawaM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Hoffman05,
  author       = {Piotr Hoffman},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Union of Equational Theories: An Algebraic Approach},
  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        = {61--73},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_6},
  doi          = {10.1007/978-3-540-32033-3\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Hoffman05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Jouannaud05,
  author       = {Jean{-}Pierre Jouannaud},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Twenty Years Later},
  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        = {368--375},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_27},
  doi          = {10.1007/978-3-540-32033-3\_27},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Jouannaud05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KesnerL05,
  author       = {Delia Kesner and
                  St{\'{e}}phane Lengrand},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Extending the Explicit Substitution Paradigm},
  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        = {407--422},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_30},
  doi          = {10.1007/978-3-540-32033-3\_30},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KesnerL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KetemaS05,
  author       = {Jeroen Ketema and
                  Jakob Grue Simonsen},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Infinitary Combinatory Reduction Systems},
  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        = {438--452},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_32},
  doi          = {10.1007/978-3-540-32033-3\_32},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/KetemaS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LafourcadeLT05,
  author       = {Pascal Lafourcade and
                  Denis Lugiez and
                  Ralf Treinen},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Intruder Deduction for \emph{AC}-Like Equational Theories with Homomorphisms},
  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        = {308--322},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_23},
  doi          = {10.1007/978-3-540-32033-3\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LafourcadeLT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LynchM05,
  author       = {Christopher Lynch and
                  Barbara Morawska},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Faster \emph{Basic Syntactic Mutation} with Sorts for Some Separable
                  Equational Theories},
  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        = {90--104},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_8},
  doi          = {10.1007/978-3-540-32033-3\_8},
  timestamp    = {Thu, 12 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LynchM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Meseguer05,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Localized Fairness: {A} Rewriting Semantics},
  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        = {250--263},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_19},
  doi          = {10.1007/978-3-540-32033-3\_19},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Meseguer05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MoczydlowskiG05,
  author       = {Wojciech Moczydlowski and
                  Alfons Geser},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Termination of Single-Threaded One-Rule Semi-Thue Systems},
  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        = {338--352},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_25},
  doi          = {10.1007/978-3-540-32033-3\_25},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/MoczydlowskiG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NieuwenhuisO05,
  author       = {Robert Nieuwenhuis and
                  Albert Oliveras},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Proof-Producing Congruence Closure},
  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        = {453--468},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_33},
  doi          = {10.1007/978-3-540-32033-3\_33},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/NieuwenhuisO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NishidaSS05,
  author       = {Naoki Nishida and
                  Masahiko Sakai and
                  Toshiki Sakabe},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Partial Inversion of Constructor Term Rewriting Systems},
  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        = {264--278},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_20},
  doi          = {10.1007/978-3-540-32033-3\_20},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/NishidaSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/PolZ05,
  author       = {Jaco van de Pol and
                  Hans Zantema},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Generalized Innermost Rewriting},
  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        = {2--16},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_2},
  doi          = {10.1007/978-3-540-32033-3\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/PolZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Rocheteau05,
  author       = {J{\'{e}}r{\^{o}}me Rocheteau},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {lambda-{\(\mathrm{\mu}\)}-Calculus and Duality: Call-by-Name and Call-by-Value},
  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        = {204--218},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_16},
  doi          = {10.1007/978-3-540-32033-3\_16},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Rocheteau05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Simpson05,
  author       = {Alex K. Simpson},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Reduction in a Linear Lambda-Calculus with Applications to Operational
                  Semantics},
  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        = {219--234},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_17},
  doi          = {10.1007/978-3-540-32033-3\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Simpson05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/StumpT05,
  author       = {Aaron Stump and
                  Li{-}Yang Tan},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {The Algebra of Equality Proofs},
  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        = {469--483},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_34},
  doi          = {10.1007/978-3-540-32033-3\_34},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/StumpT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/TourE05,
  author       = {Thierry Boy de la Tour and
                  Mnacho Echenim},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Unification in a Class of Permutative Theories},
  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        = {105--119},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_9},
  doi          = {10.1007/978-3-540-32033-3\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/TourE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Toyama05,
  author       = {Yoshihito Toyama},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Confluent Term Rewriting Systems},
  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        = {1},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_1},
  doi          = {10.1007/978-3-540-32033-3\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Toyama05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Wadler05,
  author       = {Philip Wadler},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Call-by-Value Is Dual to Call-by-Name - Reloaded},
  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        = {185--203},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_15},
  doi          = {10.1007/978-3-540-32033-3\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Wadler05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Yoshinaka05,
  author       = {Ryo Yoshinaka},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Higher-Order Matching in the Linear Lambda Calculus in the Absence
                  of Constants Is NP-Complete},
  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        = {235--249},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_18},
  doi          = {10.1007/978-3-540-32033-3\_18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Yoshinaka05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2005,
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Term Rewriting and Applications, 16th International Conference, {RTA}
                  2005, Nara, Japan, April 19-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3467},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b135673},
  doi          = {10.1007/B135673},
  isbn         = {3-540-25596-6},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics