Found 1 document(s)
Page 1 of 1
-
Algebraic specifications allied to rewriting are more and more used in design and logical prototyping of programs. We show how these techniques can be applied to a basic problem in computational geometry, namely the cons...