The Undecidability of the Preperfectness of Thue Systems.

Paliath Narendran Robert McNaughton

Published in: Theor. Comput. Sci. (1984)

Keyphrases

data sets
knowledge base
expert systems
np hard
management system
distributed systems
computer systems
building blocks
pattern matching
complex systems