Monomorphic Characterization of n-ary Direct Products

[1]  Michael Winter,et al.  Heterogeneous Relation Algebra , 1997, Relational Methods in Computer Science.

[2]  Gunther Schmidt,et al.  Comparing Two Different Approaches to Products in Abstract Relation Algebra , 1993, AMAST.

[3]  Roger D. Maddux,et al.  Some sufficient conditions for the representability of relation algebras , 1978 .

[4]  Gunther Schmidt,et al.  Relations and Graphs , 1993, EATCS Monographs on Theoretical Computer Science.

[5]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[6]  Gunther Schmidt,et al.  Background Material , 1997, Relational Methods in Computer Science.

[7]  Gunther Schmidt,et al.  Relation algebras: Concept of points and representability , 1985, Discret. Math..

[8]  W. P. Roever.  Recursion and Parameter Mechanisms: An Axiomatic Approach , 1974, ICALP.

[9]  Marcelo F. Frias,et al.  Fork Algebras , 1997, Relational Methods in Computer Science.

[10]  Rudolf Berghammer,et al.  Relational Semantics of Functional Programs , 1997, Relational Methods in Computer Science.

[11]  Hans Zierer,et al.  Relation Algebraic Domain Constructions , 1991, Theor. Comput. Sci..