Combinatorial Analytic Tableaux.

Published in: Reports Math. Log. (1993)

Keyphrases

functional dependencies
modal logic
databases
data structure
decision procedures
database
data sets
machine learning