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)
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
