Login / Signup
Fixpoint operators for 2-categorical structures.
Zeinab Galal
Published in:
LICS (2023)
Keyphrases
</>
fixpoint
logic programs
deductive databases
finite state machines
horn clauses
stable models
datalog programs
update rule
proof theoretic
sql queries
model theoretic
recursive queries
itemsets
databases
database management systems
np complete
fixpoint semantics