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

Christian Choffrut

Published in: ICALP (1990)

Keyphrases

neural network
description logics
computer systems
real world
social networks
information systems
data structure
expert systems
information retrieval systems
distributed systems
knowledge based systems
building blocks
retrieval systems