4397 search results - page 135 / 880 » Relational Algebra Operations |
132
Voted
CIE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
141
Voted
MFCS
2005
Springer
15 years 8 months ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
109
click to vote
WADT
2004
Springer
15 years 8 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...
198
Voted
ICDE
1999
IEEE
16 years 3 months ago
1999
IEEE
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
126
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...