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