Decidability of Bisimulation Equivalence for Normed Pushdown Processes.

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

Keyphrases

description logics
equivalence relation
information technology
graph matching
evolutionary algorithm
vector space
incomplete information
machine learning
information retrieval
artificial intelligence
decision trees
query containment