The Tableaux Work Bench.

Pietro Abate Rajeev Goré

Published in: TABLEAUX (2003)

Keyphrases

modal logic
functional dependencies
decision procedures
database systems
database
probability distribution
upper bound