16. RTA 2005: Nara, Japan

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