Representability and Program Construction within Fork Algebras

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. Representability and Program Construction within Fork Algebras. Logic Journal of the IGPL, 6(2):227-257, 1998. [doi]

Abstract

Abstract is missing.