C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Characteristic formulae for fixed-point semantics: a general framework.
Luca Aceto
Anna Ingólfsdóttir
Paul Blain Levy
Joshua Sack
Published in:
Math. Struct. Comput. Sci. (2012)
Keyphrases
</>
fixed point semantics
general purpose
database systems
multi agent systems
logic programs