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