12. RTA 2001:
Utrecht,
The Netherlands
Aart Middeldorp (Ed.):
Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings.
Lecture Notes in Computer Science 2051 Springer 2001, ISBN 3-540-42117-3 BibTeX
@proceedings{DBLP:conf/rta/2001,
editor = {Aart Middeldorp},
title = {Rewriting Techniques and Applications, 12th International Conference,
RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
booktitle = {RTA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2051},
year = {2001},
isbn = {3-540-42117-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Regular Papers
- Denis Béchet:
Universal Interaction Systems with Only Two Agents.
3-14
Electronic Edition (Springer LINK) BibTeX
- Alessandro Berarducci, Corrado Böhm:
General Recursion on Second Order Term Algebras.
15-30
Electronic Edition (Springer LINK) BibTeX
- Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren:
Beta Reduction Constraints.
31-46
Electronic Edition (Springer LINK) BibTeX
- Eduardo Bonelli, Delia Kesner, Alejandro Ríos:
From Higher-Order to First-Order Rewriting.
47-62
Electronic Edition (Springer LINK) BibTeX
- Alexandre Boudet, Evelyne Contejean:
Combining Pattern E-Unification Algorithms.
63-76
Electronic Edition (Springer LINK) BibTeX
- Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Matching Power.
77-92
Electronic Edition (Springer LINK) BibTeX
- Jürgen Giesl, Deepak Kapur:
Dependency Pairs for Equational Rewriting.
93-108
Electronic Edition (Springer LINK) BibTeX
- Dieter Hofbauer:
Termination Proofs by Context-Dependent Interpretations.
108-121
Electronic Edition (Springer LINK) BibTeX
- Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom:
Uniform Normalisation beyond Orthogonality.
122-136
Electronic Edition (Springer LINK) BibTeX
- Konstantin Korovin, Andrei Voronkov:
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order.
137-153
Electronic Edition (Springer LINK) BibTeX
- Armin Kühnemann, Robert Glück, Kazuhiko Kakehi:
Relating Accumulative and Non-accumulative Functional Programs.
154-168
Electronic Edition (Springer LINK) BibTeX
- Jordi Levy, Mateu Villaret:
Context Unification and Traversal Equations.
169-184
Electronic Edition (Springer LINK) BibTeX
- Sébastien Limet, Pierre Réty, Helmut Seidl:
Weakly Regular Relations and Applications.
185-200
Electronic Edition (Springer LINK) BibTeX
- Markus Lohrey:
On the Parallel Complexity of Tree Automata.
201-215
Electronic Edition (Springer LINK) BibTeX
- Salvador Lucas:
Transfinite Rewriting Semantics for Term Rewriting Systems.
216-230
Electronic Edition (Springer LINK) BibTeX
- Christopher Lynch, Barbara Morawska:
Goal-Directed E-Unification.
231-245
Electronic Edition (Springer LINK) BibTeX
- Michio Oyamaguchi, Yoshikatsu Ohta:
The Unification Problem for Confluent Right-Ground Term Rewriting Systems.
246-260
Electronic Edition (Springer LINK) BibTeX
- Femke van Raamsdonk:
On Termination of Higher-Order Rewriting.
261-275
Electronic Edition (Springer LINK) BibTeX
- Christophe Ringeissen:
Matching with Free Function Symbols - A Simple Extension of Matching?
276-290
Electronic Edition (Springer LINK) BibTeX
- Georg Struth:
Deriving Focused Calculi for Transitive Relations.
291-305
Electronic Edition (Springer LINK) BibTeX
- René Vestergaard, James Brotherston:
A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.
306-321
Electronic Edition (Springer LINK) BibTeX
- Jens R. Woinowski:
A Normal Form for Church-Rosser Language Systems.
322-337
Electronic Edition (Springer LINK) BibTeX
- Toshiyuki Yamada:
Confluence and Termination of Simply Typed Term Rewriting Systems.
338-352
Electronic Edition (Springer LINK) BibTeX
System Descriptions
Copyright © Sat May 16 23:36:09 2009
by Michael Ley (ley@uni-trier.de)
