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]

Authors

Marcelo F. Frias

This author has not been identified. Look up 'Marcelo F. Frias' in Google

Gabriel Baum

This author has not been identified. Look up 'Gabriel Baum' in Google

Armando Martin Haeberer

This author has not been identified. Look up 'Armando Martin Haeberer' in Google