Strongly Complete Logics for Coalgebras

Alexander Kurz Jirí Rosický

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

expressive power
image segmentation
multiscale
multi agent
linearly ordered