Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report TR233:
The Powerset Operator as an Algebraic Tool for Understanding Least Fixpoint Semantics in the Context of Nested relations

Marc Gyssens and Dirk Van Gucht
(Oct 1987)
The abstact is not available. Please see the full paper.

Available as: