Some Undecidable Termination Problems for Semi-Thue Systems (Abstract).

Géraud Sénizergues

Published in: RTA (1993)

Keyphrases

np complete
solving problems
building blocks
distributed systems
expert systems
computer systems
optimization problems
database
intelligent systems
knowledge based systems
query language
retrieval systems
decision problems
query answering
linear systems
specific problems
rewrite systems