Stammering tableaux.

Matthieu Josuat-Vergès

Published in: Discret. Math. Theor. Comput. Sci. (2017)

Keyphrases

modal logic
functional dependencies
decision procedures
case study
artificial intelligence
special case
databases
database systems
knowledge discovery
theorem proving