Bijective proofs of shuffle compatibility results.

Duff Baker-Jarvis Bruce E. Sagan

Published in: Adv. Appl. Math. (2020)

Keyphrases

formal proofs
theorem prover
theorem proving
formal proof
information systems
equational theories
natural deduction
databases
data structure
decision procedures
mathematical proofs
automated theorem provers
logic programs
search space
cooperative
decision trees
metadata
artificial intelligence