Undecidable questions related to Church-Rosser Thue systems.

Colm Ó'Dúnlaing

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

Keyphrases

data mining
management system
computer systems
retrieval systems
data sets
artificial intelligence
case study
knowledge based systems
learning systems
database
expert systems
relational databases
sufficient conditions
complex systems
answer questions