Publisher: Springer Publishing Company
ISSN: 0021-2172
Source: Israel Journal of Mathematics, Vol.178, Iss.1, 2010-09, pp. : 229-252
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
How to Be a Good Teacher Is an Undecidable Problem
By Flapan Erica
The College Mathematics Journal, Vol. 42, Iss. 5, 2011-11 ,pp. :
The Subtyping Problem for Second-Order Types Is Undecidable
Information and Computation, Vol. 179, Iss. 1, 2002-11 ,pp. :
Undecidable Verification Problems for Programs with Unreliable Channels
Information and Computation, Vol. 130, Iss. 1, 1996-10 ,pp. :