A coalgebraic equational approach to specifying observational structures.

Corina Cîrstea

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

Keyphrases

theorem proving
decision trees
case study
database
real time
computer vision
information systems
multimedia
multiscale
complex structures