On the Foundations of Final Coalgebra Semantics.

Daniele Turi Jan J. M. M. Rutten

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

Keyphrases

formal semantics
artificial intelligence
semantic information
model theoretic
information retrieval
computer vision
search algorithm
programming language
logic programming
transformation rules
update semantics