An algebra of properties

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 1991, Pages 352-359

  Weibel, Trudy ^a   Gonnet, Gaston H ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

AND JOINS; BASIC FUNCTIONS; SET OF RULES;

ALGEBRA;

EID: 77956236015     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/120694.120749     Document Type: Conference Paper

References (3)

1. Gra78] G. Gratzer. General Lattice Theory. Birkhauser Verlag, Basel, 1978.
2. Sto77] J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, 1977.
3. [WG91], T. Weibel, G. Gonnet. An algebra of properties. Technical Report 158 Informatik ETH-Ziirich, 1991.