Equivalence Checking of Non-Flat Systems Is EXPTIME-hard.

Published in: CONCUR (2003)

Keyphrases

management system
databases
natural language
upper bound
database
data sets
decision making
description logics
intelligent systems
learning systems
complex systems
retrieval systems