Login / Signup
Affine Geometry of Collinearity and Conditional Term Rewriting.
Philippe Balbiani
Luis Fariñas del Cerro
Published in:
Term Rewriting (1993)
Keyphrases
</>
term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
knuth bendix
affine invariant
three dimensional
affine transformation
line segments
planar objects
image registration
multiscale