11. RTA 2000:
Norwich,
UK
Leo Bachmair (Ed.):
Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings.
Lecture Notes in Computer Science 1833 Springer 2000, ISBN 3-540-67778-X BibTeX
@proceedings{DBLP:conf/rta/2000,
editor = {Leo Bachmair},
title = {Rewriting Techniques and Applications, 11th International Conference,
RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings},
booktitle = {RTA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1833},
year = {2000},
isbn = {3-540-67778-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Invited Tutorial
Regular Papers
- Nikolaj Bjørner, César Muñoz:
Absolute Explicit Unification.
31-46 BibTeX
- Frédéric Blanqui:
Termination and Confluence of Higher-Order Rewrite Systems.
47-61 BibTeX
- Eduardo Bonelli, Delia Kesner, Alejandro Ríos:
A de Bruijn Notation for Higher-Order Rewriting.
62-79 BibTeX
- Evelyne Contejean, Antoine Coste, Benjamin Monate:
Rewriting Techniques in Theoretical Physics.
80-94 BibTeX
- Daniel J. Dougherty, Claudio Gutiérrez:
Normal Forms and Reduction for Theories of Binary Relations.
95-109 BibTeX
- Katrin Erk, Joachim Niehren:
Parallelism Constraints.
110-126 BibTeX
- Philippe de Groote:
Linear Higher-Order Matching Is NP-Complete.
127-140 BibTeX
- Felix Joachimski, Ralph Matthes:
Standardization and Confluence for a Lambda Calculus with Generalized Applications.
141-155 BibTeX
- Jordi Levy, Mateu Villaret:
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints.
156-171 BibTeX
- Markus Lohrey:
Word Problems and Confluence Problems for Restricted Semi-Thue Systems.
172-186 BibTeX
- Reinhard Pichler:
The Explicit Representability of Implicit Generalizations.
187-202 BibTeX
- Richard Statman:
On the Word Problem for Combinators.
203-213 BibTeX
- Georg Struth:
An Algebra of Resolution.
214-228 BibTeX
- Jürgen Stuber:
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.
229-245 BibTeX
- Toshinori Takai, Yuichi Kaji, Hiroyuki Seki:
Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability.
246-260 BibTeX
System Descriptions
Copyright © Sat May 16 23:36:09 2009
by Michael Ley (ley@uni-trier.de)
