351 search results - page 13 / 71 » Algebra and Geometry of Rewriting |
TIT
1998
13 years 9 months ago
1998
ICMS
2010
13 years 8 months ago
2010
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
Relational division, also known as small divide, is a derived operator of the relational algebra that realizes a many-to-one set containment test, where a set is represented as a ...
JLP
2010
13 years 8 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...