Login / Signup
An Improved Algorithm for the Evaluation of Fixpoint Expressions.
Anca Browne
Edmund M. Clarke
Somesh Jha
David E. Long
Wilfredo R. Marrero
Published in:
Theor. Comput. Sci. (1997)
Keyphrases
</>
fixpoint
logic programs
deductive databases
finite state machines
artificial intelligence
horn clauses
stable models
datalog programs
data management
model theoretic
update rule
data model
general purpose
logic programming
recursive queries