Erdős-Szekeres Tableaux.

Shaun Van Ault Benjamin Shemmer

Published in: Order (2014)

Keyphrases

modal logic
decision procedures
functional dependencies
dimensionality reduction
database
management system
knowledge acquisition
dynamic environments
sequent calculi