Publisher： Academic Press
ISSN： 0022-0000
Source： Journal of Computer and System Sciences, Vol.52, Iss.3, 1996-06, pp. : 522-536
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A coinductive completeness proof for the equivalence of recursive types
By Cardone
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :
Access to resources
Recommend
Decidability results for primitive recursive algorithms
By David R.
Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. :
Optimal Recursive Estimation of Raw Data
Annals of Operations Research, Vol. 133, Iss. 1-4, 2005-01 ,pp. :
Eliminating dead code on recursive data
Science of Computer Programming, Vol. 47, Iss. 2, 2003-05 ,pp. :
The Cartographic Journal, Vol. 23, Iss. 2, 1986-12 ,pp. :