scientific article; zbMATH DE number 1638661

MaRDI QIDQ2736359zbMATH OpenFDO

Authors Anne-Cecile Caron

Publication date 29 August 2001

Mathematics Subject Classification ID

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

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

Cited in

(14)

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

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)