Automata and fixed point logic: A coalgebraic perspective.

Published in: Inf. Comput. (2006)

Keyphrases

fixed point
linear logic
sufficient conditions
fixed point theorem
logic programming
dynamical systems
bargaining solution
belief propagation
constraint databases
floating point
modal logic
free energy
knowledge base
relational databases
variational inequalities
finite state
post processing