Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course - researchr publication

researchr

You are not signed in
Sign in
Sign up

Hubert Comon, Jean-Pierre Jouannaud, editors, Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course. Volume 909 of Lecture Notes in Computer Science, Springer, 1995.

Conference: ac

Abstract is missing.

Introduction to RewritingJean-Pierre Jouannaud. 1-15

Examples of TerminationNachum Dershowitz. 16-26

The Word Problem for Thue Rewriting SystemsGerard Lallement. 27-38

Word Problem for Thue Systems with a Few RelationsYuri Matiyasevich. 39-53

Some Extensions of RewritingHélène Kirchner. 54-73

Graph Rewriting: A Bibliographical GuideBruno Courcelle. 74

Formal Languages and Word-RewritingGéraud Sénizergues. 75-94

Rewriting and Tree AutomataMax Dauchet. 95-113

On Efficient Reduction Algorithms for Some Trace Rewriting SystemsMichael Bertol, Volker Diekert. 114-126

Automatic Groups and String RewritingRobert H. Gilman. 127-134

A Survey of Symmetrized and Complete Group PresentationsPhilippe le Chenadec. 135-153

Normalized Rewriting - Application to Ground Completion and Standard BasesClaude Marché. 154-169

Equational Reasoning with Two-Dimensional DiagramsYves Lafont. 170-195

Affine Geometry of Collinearity and Conditional Term RewritingPhilippe Balbiani, Luis Fariñas del Cerro. 196-213

Burnside Monoids, Word Problem and the Conjecture of BrzozowskiJean-François Rey. 214-221

runs on WebDSL