Iterated Substitutions and Locally Catanative Systems: A Decidability Result in the Binary Case.

Christian Choffrut

Browse the full ICALP paper archive.