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