13. RTA 2002:
Copenhagen,
Denmark
Sophie Tison (Ed.):
Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings.
Lecture Notes in Computer Science 2378 Springer 2002, ISBN 3-540-43916-1 BibTeX
@proceedings{DBLP:conf/rta/2002,
editor = {Sophie Tison},
title = {Rewriting Techniques and Applications, 13th International Conference,
RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
booktitle = {RTA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2378},
year = {2002},
isbn = {3-540-43916-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Regular Papers,
Application Papers
- Paul-André Melliès:
Axiomatic Rewriting Theory VI Residual Theory Revisited.
24-50
Electronic Edition (Springer LINK) BibTeX
- Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno:
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.
51-65
Electronic Edition (Springer LINK) BibTeX
- Germain Faure, Claude Kirchner:
Exceptions in the Rewriting Calculus.
66-82
Electronic Edition (Springer LINK) BibTeX
- Georg Struth:
Deriving Focused Lattice Calculi.
83-97
Electronic Edition (Springer LINK) BibTeX
- Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji:
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property.
98-113
Electronic Edition (Springer LINK) BibTeX
- Hitoshi Ohsaki, Toshinori Takai:
Decidability and Closure Properties of Equational Tree Languages.
114-128
Electronic Edition (Springer LINK) BibTeX
- Pierre Réty, Julie Vuotto:
Regular Sets of Descendants by Some Rewrite Strategies.
129-143
Electronic Edition (Springer LINK) BibTeX
- Johannes Waldmann:
Rewrite Games.
144-158
Electronic Edition (Springer LINK) BibTeX
- Paula Severi, Fer-Jan de Vries:
An Extensional Böhm Model.
159-173
Electronic Edition (Springer LINK) BibTeX
- Julien Forest:
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.
174-191
Electronic Edition (Springer LINK) BibTeX
- Chuck Liang, Gopalan Nadathur:
Tradeoffs in the Intensional Representation of Lambda Terms.
192-206
Electronic Edition (Springer LINK) BibTeX
- David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen:
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.
207-221
Electronic Edition (Springer LINK) BibTeX
- Janis Voigtländer:
Conditions for Efficiency Improvement by Tree Transducer Composition.
222-236
Electronic Edition (Springer LINK) BibTeX
- Martin Bravenboer, Eelco Visser:
Rewriting Strategies for Instruction Selection.
237-251
Electronic Edition (Springer LINK) BibTeX
- Olivier Bournez, Claude Kirchner:
Probabilistic Rewrite Strategies. Applications to ELAN.
252-266
Electronic Edition (Springer LINK) BibTeX
- Alfons Geser:
Loops of Superexponential Lengths in One-Rule String Rewriting.
267-280
Electronic Edition (Springer LINK) BibTeX
- Elias Tahhan-Bittar:
Recursive Derivational Length Bounds for Confluent Term Rewrite Systems.
281-295
Electronic Edition (Springer LINK) BibTeX
- Salvador Lucas:
Termination of (Canonical) Context-Sensitive Rewriting.
296-310
Electronic Edition (Springer LINK) BibTeX
- Witold Charatonik, Jean-Marc Talbot:
Atomic Set Constraints with Projection.
311-325
Electronic Edition (Springer LINK) BibTeX
- Jordi Levy, Mateu Villaret:
Currying Second-Order Unification Problems.
326-339
Electronic Edition (Springer LINK) BibTeX
- Daniel J. Dougherty, Tomasz Wierzbicki:
A Decidable Variant of Higher Order Matching.
340-351
Electronic Edition (Springer LINK) BibTeX
- Franz Baader, Cesare Tinelli:
Combining Decision Procedures for Positive Theories Sharing Constructors.
352-366
Electronic Edition (Springer LINK) BibTeX
System Descriptions
Copyright © Sat May 16 23:36:09 2009
by Michael Ley (ley@uni-trier.de)
