From Bialgebraic Semantics to Congruence Formats.

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

metadata
formal semantics
logic programming
multimedia
database
semantic information
transformation rules
machine learning
image sequences
abstract argumentation