scientific article; zbMATH DE number 1638661

zbMATH Open0967.68523MaRDI QIDQ2736359FDOQ2736359

Authors: Anne-Cecile Caron 

Publication date: 29 August 2001

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

Recommendations

• Undecidable properties on length-two string rewriting systems
• scientific article; zbMATH DE number 4060699
• scientific article; zbMATH DE number 176501
• scientific article; zbMATH DE number 177883
• Termination of linear bounded term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Algebraic theory of languages and automata (68Q70)

Cited In (14)

• Simple termination of rewrite systems
• From Hertzsprung's problem to pattern-rewriting systems
• Some undecidable termination problems for semi-Thue systems
• Simple termination is difficult
• Title not available (Why is that?)
• One-rule semi-Thue systems with loops of length one, two or three
• Termination of \(\{aa\rightarrow bc,bb\rightarrow ac,cc\rightarrow ab\}\)
• More problems in rewriting
• Confluence up to garbage
• Confluence up to garbage in graph transformation
• On termination of one rule rewrite systems
• Termination of linear bounded term rewriting systems
• Undecidable properties on length-two string rewriting systems
• Simple termination is difficult

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 Q2736359)