Undecidability of Operation Problems for T0L Languages and Subclasses.

Henning Bordihn Markus Holzer Martin Kutrib

Published in: LATA (2009)

Keyphrases

benchmark problems
data mining
search algorithm
np complete
problems involving
information systems
computational complexity
data model
solving problems