Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 : Advanced Course (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
to rewriting.- 33 Examples of termination.- The word problem for Thue rewriting systems.- Word problem for Thue systems with a few relations.- Some extensions of rewriting.- Graph A bibliographical guide.- Formal languages & word-rewriting.- Rewriting and tree automata.- On efficient reduction algorithms for some trace rewriting systems.- Automatic groups and string rewriting.- A survey of symmetrized and complete group presentations.- Normalized rewriting - Application to ground completion and standard bases.- Equational reasoning with 2-dimensional diagrams.- Affine geometry of collinearity and conditional term rewriting.- Burnside monoids word problem and the conjecture of Brzozowski.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
