Modular construction of complete coalgebraic logics.

Corina Cîrstea Dirk Pattinson

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

Keyphrases

expressive power
databases
modal logic
information retrieval
learning algorithm
real world
computer vision
web services
logic programs
construction process
propositional variables
linearly ordered