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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.