ask others

16th RTA 2005: Nara, Japan

> Home > Conferences and Workshops > RTA

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/2005
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/2005
Jürgen Giesl:
Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Lecture Notes in Computer Science 3467, Springer 2005, ISBN 3-540-25596-6
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Toyama05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Toyama05
Yoshihito Toyama:
Confluent Term Rewriting Systems. 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/PolZ05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/PolZ05
Jaco van de Pol, Hans Zantema:
Generalized Innermost Rewriting. 2-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/FernandezGR05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/FernandezGR05
Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio:
Orderings for Innermost Termination. 17-31
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/DershowitzE05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/DershowitzE05
Nachum Dershowitz, E. Castedo Ellerman:
Leanest Quasi-orderings. 32-45
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/AbbottGL05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/AbbottGL05
Michael Gordon Abbott, Neil Ghani, Christoph Lüth:
Abstract Modularity. 46-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Hoffman05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Hoffman05
Piotr Hoffman:
Union of Equational Theories: An Algebraic Approach. 61-73
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Cheney05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Cheney05
James Cheney:
Equivariant Unification. 74-89
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/LynchM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/LynchM05
Christopher Lynch, Barbara Morawska:
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. 90-104
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/TourE05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/TourE05
Thierry Boy de la Tour, Mnacho Echenim:
Unification in a Class of Permutative Theories. 105-119
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/AotoY05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/AotoY05
Takahito Aoto, Toshiyuki Yamada:
Dependency Pairs for Simply Typed Term Rewriting. 120-134
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Hamana05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Hamana05
Makoto Hamana:
Universal Algebra for Termination of Higher-Order Rewriting. 135-149
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BonfanteMM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BonfanteMM05
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen:
Quasi-interpretations and Small Space Bounds. 150-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/HendrixCM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/HendrixCM05
Joe Hendrix, Manuel Clavel, José Meseguer:
A Sufficient Completeness Reasoning Tool for Partial Specifications. 165-174
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/HirokawaM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/HirokawaM05
Nao Hirokawa, Aart Middeldorp:
Tyrolean Termination Tool. 175-184
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Wadler05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Wadler05
Philip Wadler:
Call-by-Value Is Dual to Call-by-Name - Reloaded. 185-203
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Rocheteau05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Rocheteau05
Jérôme Rocheteau:
lambda-µ-Calculus and Duality: Call-by-Name and Call-by-Value. 204-218
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Simpson05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Simpson05
Alex K. Simpson:
Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics. 219-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Yoshinaka05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Yoshinaka05
Ryo Yoshinaka:
Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete. 235-249
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Meseguer05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Meseguer05
José Meseguer:
Localized Fairness: A Rewriting Semantics. 250-263
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/NishidaSS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/NishidaSS05
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe:
Partial Inversion of Constructor Term Rewriting Systems. 264-278
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/EscobarMT05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/EscobarMT05
Santiago Escobar, José Meseguer, Prasanna Thati:
Natural Narrowing for General Term Rewriting Systems. 279-293
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Comon-LundhD05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Comon-LundhD05
Hubert Comon-Lundh, Stéphanie Delaune:
The Finite Variant Property: How to Get Rid of Some Algebraic Properties. 294-307
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/LafourcadeLT05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/LafourcadeLT05
Pascal Lafourcade, Denis Lugiez, Ralf Treinen:
Intruder Deduction for AC-Like Equational Theories with Homomorphisms. 308-322
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BournezG05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BournezG05
Olivier Bournez, Florent Garnier:
Proving Positive Almost-Sure Termination. 323-337
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/MoczydlowskiG05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/MoczydlowskiG05
Wojciech Moczydlowski, Alfons Geser:
Termination of Single-Threaded One-Rule Semi-Thue Systems. 338-352
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/GeserHWZ05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/GeserHWZ05
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema:
On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems. 353-367
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Jouannaud05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Jouannaud05
Jean-Pierre Jouannaud:
Twenty Years Later. 368-375
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Dershowitz05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Dershowitz05
Nachum Dershowitz:
Open. Closed. Open. 376-393
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Felty05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Felty05
Amy P. Felty:
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code. 394-406
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KesnerL05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/KesnerL05
Delia Kesner, Stéphane Lengrand:
Extending the Explicit Substitution Paradigm. 407-422
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/DowekW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/DowekW05
Gilles Dowek, Benjamin Werner:
Arithmetic as a Theory Modulo. 423-437
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KetemaS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/KetemaS05
Jeroen Ketema, Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems. 438-452
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/NieuwenhuisO05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/NieuwenhuisO05
Robert Nieuwenhuis, Albert Oliveras:
Proof-Producing Congruence Closure. 453-468
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/StumpT05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/StumpT05
Aaron Stump, Li-Yang Tan:
The Algebra of Equality Proofs. 469-483
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BouajjaniT05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BouajjaniT05
Ahmed Bouajjani, Tayssir Touili:
On Computing Reachability Sets of Process Rewrite Systems. 484-499
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BonevaT05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BonevaT05
Iovka Boneva, Jean-Marc Talbot:
Automata and Logics for Unranked and Unordered Trees. 500-515

maintained by

, founded at