Bipieri tableaux.

John M. Campbell

Published in: Australas. J Comb. (2016)

Keyphrases

modal logic
decision procedures
functional dependencies
user interface
sequent calculi
artificial intelligence
high level
database systems
high dimensional
upper bound
automated reasoning