351 search results - page 8 / 71 » Algebra and Geometry of Rewriting |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
GIAE
2004
Springer
14 years 3 months ago
2004
Springer
We discuss a new covariant approach to geometry, called conformal geometric algebra, concentrating particularly on applications to projective geometry and new hybrid geometries. In...
COMPGEOM
1987
ACM
14 years 1 months ago
1987
ACM
In [12] Stolfi developed a complete theory of Oriented Projective Geometry. He showed that assigning meaning to the sign of an otherwise homogenous representation of geometry could...
PARLE
1993
14 years 2 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
WADT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...