Used together with:
substitut
(1)
iter
(1)
decid
(1)
local
(1)
binari
(1)
Stem
catan$ (
all stems
)
1 papers:
ICALP-1990-Choffrut
#decidability
Iterated Substitutions and Locally Catanative Systems: A Decidability Result in the Binary Case (
CC
), pp. 490–500.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.