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.

Abstract

Abstract is missing.