Dyck tableaux.

Jean-Christophe Aval Adrien Boussicault Sandrine Dasse-Hartaut

Published in: Theor. Comput. Sci. (2013)

Keyphrases

modal logic
decision procedures
functional dependencies
case study
bayesian networks
data structure
query processing
sequent calculi