Monotonic Preorders for Free Variable Tableaux.

Pedro J. Martín Antonio Gavilanes

Published in: TABLEAUX (2000)

Keyphrases

modal logic
data sets
databases
decision trees
decision procedures
real time
information retrieval
multimedia
data structure
functional dependencies