Deciding Bisimilarity is P-Complete.

José L. Balcázar Joaquim Gabarró Miklos Santha

Published in: Formal Aspects Comput. (1992)

Keyphrases

knowledge base
cooperative
search algorithm
domain knowledge
data sets
databases
clustering algorithm
high level
multiscale
learning environment
data analysis
image analysis
end users