The decidability border of hereditary history preserving bisimilarity.

Sibylle B. Fröschle

Published in: Inf. Process. Lett. (2005)

Keyphrases

description logics
decision procedures
real time
neural network
search engine
information systems
three dimensional
databases
image processing
clustering algorithm
learning environment
user interface
xml documents
integrity constraints
query answering