Research Catalog

Title

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Common, Jean-Pierre Jouannaud, eds.

Author

French Spring School of Theoretical Computer Science (1993 : Font-Romeu, France)

Publication

Berlin ; New York : Springer Verlag, [1995], ©1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Comon, Hubert.
• Jouannaud, Jean-Pierre.

Description

viii, 221 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 909

Uniform Title

Lecture notes in computer science ; 909.

Subjects

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

Contents

• Introduction to Rewriting / Jean-Pierre Jouannaud -- 33 Examples of Termination / Nachum Dershowitz -- The Word Problem for Thue Rewriting Systems / Gerard Lallement -- Word Problem for Thue Systems with a Few Relations / Yuri Matiyasevich -- Some Extensions of Rewriting / Helene Kirchner -- Graph Rewriting: A Bibliographical Guide / Bruno Courcelle -- Formal Languages and Word-Rewriting / Geraud Senizergues -- Rewriting and Tree Automata / Max Dauchet -- On Efficient Reduction Algorithms for Some Trace Rewriting Systems / Michael Bertol and Volker Diekert -- Automatic Groups and String Rewriting / Robert H. Gilman -- A Survey of Symmetrized and Complete Group Presentations / Philippe Le Chenadec -- Normalized Rewriting - Application to Ground Completion and Standard Bases / Claude Marche -- Equationnal Reasoning with Two-Dimensional Diagrams / Yves Lafont -- Affine Geometry of Collinearity and Conditional Term Rewriting / Philippe Balbiani and Luis Farinas del Cerro.
• Burnside Monoids, Word Problem and the Conjecture of Brzozowski / Jean-Francois Rey.

ISBN

• 3540593403 (Berlin : acid-free paper)
• 0387593403 (New York : acid-free paper)

LCCN

95015960

OCLC

ocm32391840

Owning Institutions

Columbia University Libraries