Modal Theory, Partial Orders, and Digital Geometry.

Jonathan D. H. Smith

Published in: Mathematical Foundations of Programming Semantics (1985)

Keyphrases

partial order
digital geometry
partially ordered
total order
cell complexes
image processing and analysis
image processing
geometric objects
topological properties
digital plane
shape analysis
epipolar geometry
digital curves