Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/rta/rta2005.bht:"
@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} }
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.