Publisher： Cambridge University Press
E-ISSN： 1943-5894|17|3|478-479
ISSN： 1079-8986
Source： Bulletin of Symbolic Logic, Vol.17, Iss.3, 2011-09, pp. : 478-479
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
Conference on Computability, Complexity and Randomness
Bulletin of Symbolic Logic, Vol. 14, Iss. 4, 2008-12 ,pp. :
Access to resources
Recommend
System ST toward a type system for extraction and proofs of programs
By Raffalli C.
Annals of Pure and Applied Logic, Vol. 122, Iss. 1, 2003-08 ,pp. :
Bulletin of Symbolic Logic, Vol. 16, Iss. 2, 2010-06 ,pp. :
Bulletin of Symbolic Logic, Vol. 15, Iss. 2, 2009-06 ,pp. :
Australasian Association for Logic 29th Annual Conference
Bulletin of Symbolic Logic, Vol. 5, Iss. 4, 1999-12 ,pp. :