351 search results - page 13 / 71 » Algebra and Geometry of Rewriting |
TIT
1998
14 years 11 months ago
1998
ICMS
2010
14 years 9 months ago
2010
194
click to vote
ICDE
2006
IEEE
16 years 1 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
14 years 10 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...