Login / Signup
Rewriting for sound and complete union, intersection and negation types.
David J. Pearce
Published in:
GPCE (2017)
Keyphrases
</>
datalog programs
logic programming
website
image sequences
logic programs
data mining
deductive databases