default search action

combined dblp search
author search
venue search
publication search

ask others

11th RTA 2000: Norwich, UK

> Home > Conferences and Workshops > RTA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rta/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/2000
Leo Bachmair:
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

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/rta/Meseguer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Meseguer00
José Meseguer:
Rewriting Logic and Maude: Concepts and Applications. 1-26

Invited Tutorial

- view
  authority control:
- export record
  dblp key:
  - conf/rta/Tison00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Tison00
Sophie Tison:
Tree Automata and Term Rewrite Systems. 27-30

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rta/BjornerM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BjornerM00
Nikolaj S. Bjørner, César A. Muñoz:
Absolute Explicit Unification. 31-46
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Blanqui00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Blanqui00
Frédéric Blanqui:
Termination and Confluence of Higher-Order Rewrite Systems. 47-61
- view
  authority control:
- export record
  dblp key:
  - conf/rta/BonelliKR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BonelliKR00
Eduardo Bonelli, Delia Kesner, Alejandro Ríos:
A de Bruijn Notation for Higher-Order Rewriting. 62-79
- view
  authority control:
- export record
  dblp key:
  - conf/rta/ContejeanCM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/ContejeanCM00
Evelyne Contejean, Antoine Coste, Benjamin Monate:
Rewriting Techniques in Theoretical Physics. 80-94
- view
  authority control:
- export record
  dblp key:
  - conf/rta/DoughertyG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/DoughertyG00
Daniel J. Dougherty, Claudio Gutierrez:
Normal Forms and Reduction for Theories of Binary Relations. 95-109
- view
  authority control:
- export record
  dblp key:
  - conf/rta/ErkN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/ErkN00
Katrin Erk, Joachim Niehren:
Parallelism Constraints. 110-126
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Groote00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Groote00
Philippe de Groote:
Linear Higher-Order Matching Is NP-Complete. 127-140
- view
  authority control:
- export record
  dblp key:
  - conf/rta/JoachimskiM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/JoachimskiM00
Felix Joachimski, Ralph Matthes:
Standardization and Confluence for a Lambda Calculus with Generalized Applications. 141-155
- view
  authority control:
- export record
  dblp key:
  - conf/rta/LevyV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/LevyV00
Jordi Levy, Mateu Villaret:
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. 156-171
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Lohrey00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Lohrey00
Markus Lohrey:
Word Problems and Confluence Problems for Restricted Semi-Thue Systems. 172-186
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Pichler00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Pichler00
Reinhard Pichler:
The Explicit Representability of Implicit Generalizations. 187-202
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Statman00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Statman00
Richard Statman:
On the Word Problem for Combinators. 203-213
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Struth00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Struth00
Georg Struth:
An Algebra of Resolution. 214-228
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Stuber00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Stuber00
Jürgen Stuber:
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. 229-245
- view
  authority control:
- export record
  dblp key:
  - conf/rta/TakaiKS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/TakaiKS00
Toshinori Takai, Yuichi Kaji, Hiroyuki Seki:
Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. 246-260

System Descriptions

- view
  authority control:
- export record
  dblp key:
  - conf/rta/Arts00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Arts00
Thomas Arts:
System Description: The Dependency Pair Method. 261-264
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Moreau00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Moreau00
Pierre-Etienne Moreau:
REM (Reduce Elan Machine): Core of the New ELAN Compiler. 265-269
- view
  authority control:
- export record
  dblp key:
  - conf/rta/OhlebuschCM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/OhlebuschCM00
Enno Ohlebusch, Claus Claves, Claude Marché:
TALP: A Tool for the Termination Analysis of Logic Programs. 270-273

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.