Some Undecidable Termination Problems for Semi-Thue Systems.

Géraud Sénizergues

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

Keyphrases

np complete
management system
knowledge base
intelligent systems
complex systems
problems involving
database
optimization problems
data management
computer systems
expressive power
solving problems