scientific article
From MaRDI portal
Publication:2736359
zbMath0967.68523MaRDI QIDQ2736359
Publication date: 29 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
On termination of one rule rewrite systems ⋮ Simple termination is difficult ⋮ Termination of \(\{aa\rightarrow bc,bb\rightarrow ac,cc\rightarrow ab\}\) ⋮ More problems in rewriting ⋮ Simple termination of rewrite systems ⋮ Confluence up to Garbage ⋮ Some undecidable termination problems for semi-Thue systems ⋮ Simple termination is difficult ⋮ Confluence up to garbage in graph transformation ⋮ One-rule semi-Thue systems with loops of length one, two or three ⋮ From Hertzsprung's problem to pattern-rewriting systems ⋮ Undecidable Properties on Length-Two String Rewriting Systems
This page was built for publication:
