4397 search results - page 57 / 880 » Relational Algebra Operations |
118
Voted
CMA
2011
14 years 6 months ago
2011
We introduce and study term functions over fuzzy hyperalgebras. We start from this idea that the set of nonzero fuzzy subsets of a fuzzy hyperalgebra can be organized naturally as...
187
click to vote
NADA
1998
Springer
15 years 6 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
164
click to vote
CALCO
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of thi...
113
click to vote
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
112
click to vote
TAPSOFT
1995
Springer
15 years 6 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...