Term Rewriting

Keyphrases

Publications

volume 909, 1995

Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993, Advanced Course Term Rewriting 909 (1995)

1993

Hélène Kirchner
Some Extensions of Rewriting. Term Rewriting (1993)
Yves Lafont
Equational Reasoning with Two-Dimensional Diagrams. Term Rewriting (1993)
Yuri V. Matiyasevich
Word Problem for Thue Systems with a Few Relations. Term Rewriting (1993)
Claude Marché
Normalized Rewriting - Application to Ground Completion and Standard Bases. Term Rewriting (1993)
Jean-François Rey
Burnside Monoids, Word Problem and the Conjecture of Brzozowski. Term Rewriting (1993)
Philippe le Chenadec
A Survey of Symmetrized and Complete Group Presentations. Term Rewriting (1993)
Michael Bertol, Volker Diekert
On Efficient Reduction Algorithms for Some Trace Rewriting Systems. Term Rewriting (1993)
Gerard Lallement
The Word Problem for Thue Rewriting Systems. Term Rewriting (1993)
Max Dauchet
Rewriting and Tree Automata. Term Rewriting (1993)
Nachum Dershowitz
Examples of Termination. Term Rewriting (1993)
Géraud Sénizergues
Formal Languages and Word-Rewriting. Term Rewriting (1993)
Philippe Balbiani, Luis Fariñas del Cerro
Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting (1993)
Jean-Pierre Jouannaud
Introduction to Rewriting. Term Rewriting (1993)
Robert H. Gilman
Automatic Groups and String Rewriting. Term Rewriting (1993)
Bruno Courcelle
Graph Rewriting: A Bibliographical Guide. Term Rewriting (1993)