scientific article; zbMATH DE number 2090078

zbMATH Open1045.68071MaRDI QIDQ4808752FDOQ4808752

Authors: Alfons Geser 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780267.htm

Title of this publication is not available (Why is that?)

Recommendations

• Non-Looping String Rewriting
• Decidability of termination of grid string rewriting rules
• One-rule semi-Thue systems with loops of length one, two or three
• On termination of confluent one-rule string-rewriting systems
• Termination and derivational complexity of confluent one-rule string-rewriting systems

zbMATH Keywords

terminationloopsemi-Thue systemstring rewritingone-rulesingle-ruleuniform termination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808752)