Representability and Program Construction within Fork Algebras (Part II)

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. Representability and Program Construction within Fork Algebras (Part II). In Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia. pages 351-358, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: