Undecidable Properties on Length-Two String Rewriting Systems
Under a Creative Commons license
open access
Keywords
Rewriting system
confluence
left-most termination
right-most termination
length-two string rewriting system
Cited by (0)
Copyright © 2008 Elsevier B.V.