Logical Relations for Monadic Types

Jean Goubault-Larrecq Slawomir Lasota David Nowak

Published in: CoRR (2005)

Keyphrases

data sets
deductive databases
information systems
logical structure
decision trees
integrity constraints
datalog programs
logical representation