A short proof of the d-connectedness of d-polytypes.

David W. Barnette

Published in: Discret. Math. (1995)

Keyphrases

proof theory
information systems
special case
theorem proving
proof planning
database
multiscale
cooperative
probability distribution
logical rules