Monadic Bounded Residuated Lattices.

Jirí Rachunek Dana Salounová

Published in: Order (2013)

Keyphrases

deductive databases
database
datalog programs
datalog queries
computer vision
data management
asymptotically optimal