A generalized Eulerian triangle from staircase tableaux and tree-like tableaux.

Published in: J. Comb. Theory, Ser. A (2020)

Keyphrases

modal logic
functional dependencies
decision procedures
databases

inference rules
binary tree
knowledge base

website
case study
special case

query language
tree structure
automated reasoning