Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra

Marc Gyssens, Dan Suciu, Dirk Van Gucht. Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra. Inf. Comput., 164(1):85-117, 2001.

Authors

Marc Gyssens

This author has not been identified. Look up 'Marc Gyssens' in Google

Dan Suciu

This author has not been identified. Look up 'Dan Suciu' in Google

Dirk Van Gucht

This author has not been identified. Look up 'Dirk Van Gucht' in Google