12. RTA 2001: Utrecht, The Netherlands

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/2001
- ask others
Aart Middeldorp (Ed.): Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science ISBN 3-540-42117-3

Invited Talks

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Barendregt01
- ask others
Henk Barendregt: Computing and Proving. 1
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Rusinowitch01
- ask others
Michaël Rusinowitch: Rewriting for Deduction and Verification. 2

Regular Papers

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Bechet01
- ask others
Denis Béchet: Universal Interaction Systems with Only Two Agents. 3-14
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/BerarducciB01
- ask others
Alessandro Berarducci, Corrado Böhm: General Recursion on Second Order Term Algebras. 15-30
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/BodirskyEKN01
- ask others
Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren: Beta Reduction Constraints. 31-46
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/BonelliKR01
- ask others
Eduardo Bonelli, Delia Kesner, Alejandro Ríos: From Higher-Order to First-Order Rewriting. 47-62
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/BoudetC01
- ask others
Alexandre Boudet, Evelyne Contejean: Combining Pattern E-Unification Algorithms. 63-76
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/CirsteaKL01
- ask others
Horatiu Cirstea, Claude Kirchner, Luigi Liquori: Matching Power. 77-92
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/GieslK01
- ask others
Jürgen Giesl, Deepak Kapur: Dependency Pairs for Equational Rewriting. 93-108
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Hofbauer01
- ask others
Dieter Hofbauer: Termination Proofs by Context-Dependent Interpretations. 108-121
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/KhasidashviliOO01
- ask others
Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom: Uniform Normalisation beyond Orthogonality. 122-136
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/KorovinV01
- ask others
Konstantin Korovin, Andrei Voronkov: Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order. 137-153
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/KuhnemannGK01
- ask others
Armin Kühnemann, Robert Glück, Kazuhiko Kakehi: Relating Accumulative and Non-accumulative Functional Programs. 154-168
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/LevyV01
- ask others
Jordi Levy, Mateu Villaret: Context Unification and Traversal Equations. 169-184
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/LimetRS01
- ask others
Sébastien Limet, Pierre Réty, Helmut Seidl: Weakly Regular Relations and Applications. 185-200
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Lohrey01
- ask others
Markus Lohrey: On the Parallel Complexity of Tree Automata. 201-215
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Lucas01
- ask others
Salvador Lucas: Transfinite Rewriting Semantics for Term Rewriting Systems. 216-230
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/LynchM01
- ask others
Christopher Lynch, Barbara Morawska: Goal-Directed E-Unification. 231-245
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/OyamaguchiO01
- ask others
Michio Oyamaguchi, Yoshikatsu Ohta: The Unification Problem for Confluent Right-Ground Term Rewriting Systems. 246-260
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Raamsdonk01
- ask others
Femke van Raamsdonk: On Termination of Higher-Order Rewriting. 261-275
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Ringeissen01
- ask others
Christophe Ringeissen: Matching with Free Function Symbols - A Simple Extension of Matching? 276-290
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Struth01
- ask others
Georg Struth: Deriving Focused Calculi for Transitive Relations. 291-305
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/VestergaardB01
- ask others
René Vestergaard, James Brotherston: A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names. 306-321
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Woinowski01
- ask others
Jens R. Woinowski: A Normal Form for Church-Rosser Language Systems. 322-337
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Yamada01
- ask others
Toshiyuki Yamada: Confluence and Termination of Simply Typed Term Rewriting Systems. 338-352

System Descriptions

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Pinto01
- ask others
Jorge Sousa Pinto: Parallel Evaluation of Interaction Nets with MPINE. 353-356
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Visser01
- ask others
Eelco Visser: Stratego: A Language for Program Transformation Based on Rewriting Strategies. 357-362