Final coalgebras and the Hennessy-Milner property.

Robert Goldblatt

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

case study
three dimensional
real world
data mining
information retrieval
artificial intelligence
image sequences
computer science
viewpoint
special case
management system
monotonicity property