Spelling suggestions: "subject:"relationsalgebra"" "subject:"relationenmellan""
1 |
Varieties and Clones of Relational Structures / Varietäten und Klone relationaler StrukturenGrabowski, Jens-Uwe 26 June 2002 (has links) (PDF)
We present an axiomatization of relational varieties, i.e., classes of relational structures closed under formation of products and retracts, by a certain class of first-order sentences. We apply this result to categorically equivalent algebras and primal algebras. We consider the relational varieties generated by structures with minimal clone, rigid structures and two-element structures.
|
2 |
Algebraic foundations of the Unifying Theories of ProgrammingGuttmann, Walter, January 2007 (has links)
Ulm, Univ., Diss., 2007.
|
3 |
Varieties and Clones of Relational StructuresGrabowski, Jens-Uwe 07 June 2002 (has links)
We present an axiomatization of relational varieties, i.e., classes of relational structures closed under formation of products and retracts, by a certain class of first-order sentences. We apply this result to categorically equivalent algebras and primal algebras. We consider the relational varieties generated by structures with minimal clone, rigid structures and two-element structures.
|
Page generated in 0.1432 seconds