A-Ordered Tableaux.

Reiner Hähnle Stefan Klingenbeck

Published in: J. Log. Comput. (1996)

Keyphrases

modal logic
decision procedures
partially ordered
functional dependencies
special case
information technology
ordered sets
database
partial order
association rules
data structure
bayesian networks
three dimensional
information retrieval
machine learning
databases
real time