Two Hypergraph Theorems Equivalent to BPI.

Published in: Notre Dame J. Formal Log. (1990)

Keyphrases

higher order
pairwise
high order
digital topology
databases
information systems
three dimensional
equivalence class