Research Catalog

Title

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 2000 : proceedings / Leo Bachmair (ed.).

Publication

New York : Springer, 2000.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Bachmair, Leo.
• International Conference on Rewriting Techniques and Applications (11th : 2000 : Norwich, England)

Description

x, 273 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1833

Uniform Title

Lecture notes in computer science ; 1833.

Subjects

• Computer programming > Congresses
• Rewriting systems (Computer science) > Congresses
• Algorithms > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

Rewriting Logic and Maude: Concepts and Applications / Jose Meseguer -- Tree Automata and Term Rewrite Systems / Sophie Tison -- Absolute Explicit Unification / Nikolaj Bjorner and Cesar Munoz -- Termination and Confluence of Higher-Order Rewrite Systems / Frederic Blanqui -- A de Bruijn Notation for Higher-Order Rewriting / Eduardo Bonelli, Delia Kesner and Alejandro Rios -- Rewriting Techniques in Theoretical Physics / Evelyne Contejean, Antoine Coste and Benjamin Monate -- Normal Forms and Reduction for Theories of Binary Relations / Dan Dougherty and Claudio Gutierrez -- Parallelism Constraints / Katrin Erk and Joachim Niehren -- Linear Higher-Order Matching Is NP-Complete / Philippe de Groote -- Standardization and Confluence for a Lambda Calculus with Generalized Applications / Felix Joachimski and Ralph Matthes -- Linear Second-Order Unification and Context Unification with Tree-Regular Constraints / Jordi Levy and Mateu Villaret -- Word Problems and Confluence Problems for Restricted Semi-Thue Systems / Markus Lohrey -- The Explicit Representability of Implicit Generalizations / Reinhard Pichler -- On the Word Problem for Combinators / Rick Statman -- An Algebra of Resolution / Georg Struth -- Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems / Jurgen Stuber -- Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability / Toshinori Takai, Yuichi Kaji and Hiroyuki Seki -- System Description: The Dependency Pair Method / Thomas Arts -- REM (Reduce Elan Machine): Core of the New ELAN Compiler / Pierre-Etienne Moreau -- TALP: A Tool for the Termination Analysis of Logic Programs / Enno Ohlebusch, Claus Claves and Claude Marche.

ISBN

354067778X (softcover : alk. paper)

LCCN

00056309

OCLC

• 505751399
• ocn505751399
• SCSB-3892987

Owning Institutions

Columbia University Libraries