Coalgebraic logic over general measurable spaces - a survey.

Ernst-Erich Doberkat Christoph Schubert

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

special case
information systems
closely related
search engine
case study
image sequences
logic programs
logic programming
multi valued
logical framework