Monadic W in Coq.

Rafael Castro G. Silva Cristiano D. Vasconcellos Karina Girardi Roggia

Published in: SBLP (2020)

Keyphrases

datalog queries
deductive databases
formal methods
datalog programs
theorem prover
relational databases
artificial intelligence
high level
probability distribution
np complete