Simply typed fixpoint calculus and collapsible pushdown automata.

Sylvain Salvati Igor Walukiewicz

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

Keyphrases

fixpoint
finite state machines
model checking
logic programs
deductive databases
proof theoretic
stable models
temporal logic
model theoretic
answer sets
fixpoint semantics
integrity constraints
update rule
horn clauses
regular expressions
logic programming
domain knowledge
database