Tower tableaux.

Olcay Coskun Müge Taskin

Published in: J. Comb. Theory, Ser. A (2013)

Keyphrases

modal logic
functional dependencies
decision procedures
sequent calculi
database
automated reasoning
machine learning
high dimensional
relational databases
knowledge discovery
information extraction
sufficient conditions