Author: Chikrii A. Belousov A.
Publisher: Springer Publishing Company
ISSN: 1072-3374
Source: Journal of Mathematical Sciences, Vol.139, Iss.5, 2006-12, pp. : 6997-7012
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
The Subtyping Problem for Second-Order Types Is Undecidable
Information and Computation, Vol. 179, Iss. 1, 2002-11 ,pp. :