Author： Vestergaard R. Brotherston J.
Publisher： Elsevier
ISSN： 1571-0661
Source： Electronic Notes in Theoretical Computer Science, Vol.58, Iss.1, 2004-01, pp. : 1-19
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Previous Menu Next
Abstract
Related content
Scott Induction and Equational Proofs
Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. :
Access to resources
Recommend
The Mechanisation of Analytical Hill Shading
By Yoëli P.
The Cartographic Journal, Vol. 4, Iss. 2, 1967-12 ,pp. :
Ethics, science, and the mechanisation of the world picture
AI & SOCIETY, Vol. 18, Iss. 1, 2004-01 ,pp. :
An equational notion of lifting monad
By Bucalo A. Fuhrmann C. Simpson A.
Theoretical Computer Science, Vol. 294, Iss. 1, 2003-02 ,pp. :
Equational axiomatizability for coalgebra
By Rosu
Theoretical Computer Science, Vol. 260, Iss. 1, 2001-06 ,pp. :