16. RTA 2005: Nara, Japan
Jürgen Giesl (Ed.): Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25596-6- Yoshihito Toyama: Confluent Term Rewriting Systems. 1
- Piotr Hoffman: Union of Equational Theories: An Algebraic Approach. 61-73
- James Cheney: Equivariant Unification. 74-89
- Christopher Lynch, Barbara Morawska: Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. 90-104
- Makoto Hamana: Universal Algebra for Termination of Higher-Order Rewriting. 135-149
- Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen: Quasi-interpretations and Small Space Bounds. 150-164
- Joe Hendrix, Manuel Clavel, José Meseguer: A Sufficient Completeness Reasoning Tool for Partial Specifications. 165-174
- Philip Wadler: Call-by-Value Is Dual to Call-by-Name - Reloaded. 185-203
- Jérôme Rocheteau: lambda-µ-Calculus and Duality: Call-by-Name and Call-by-Value. 204-218
- Alex K. Simpson: Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics. 219-234
- Ryo Yoshinaka: Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete. 235-249
- José Meseguer: Localized Fairness: A Rewriting Semantics. 250-263
- Naoki Nishida, Masahiko Sakai, Toshiki Sakabe: Partial Inversion of Constructor Term Rewriting Systems. 264-278
- Santiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. 279-293
- Hubert Comon-Lundh, Stéphanie Delaune: The Finite Variant Property: How to Get Rid of Some Algebraic Properties. 294-307
- Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Intruder Deduction for AC-Like Equational Theories with Homomorphisms. 308-322
- Wojciech Moczydlowski, Alfons Geser: Termination of Single-Threaded One-Rule Semi-Thue Systems. 338-352
- Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema: On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems. 353-367
- Jean-Pierre Jouannaud: Twenty Years Later. 368-375
- Nachum Dershowitz: Open. Closed. Open. 376-393
- Amy P. Felty: A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code. 394-406
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team