Poset Exponentiation and a Counterexample Birkhoff Said in 1942 He Did Not Have.

Jonathan David Farley

Published in: Order (2022)

Keyphrases

partial order
model checking
partially ordered
partially ordered sets
stable marriage
totally ordered
formal verification
artificial intelligence
hidden markov models
databases
data mining
social networks
relational databases
management system
functional dependencies
set of functional dependencies