Author： Ritter E. Pym D. Wallen L.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.232, Iss.1, 2000-02, pp. : 299-333
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
Correspondences between classical, intuitionistic and uniform provability
By Nadathur G.
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :
Access to resources
Recommend
Intuitionistic and classical natural deduction systems with the catch and the throw rules
By Sato M.
Theoretical Computer Science, Vol. 175, Iss. 1, 1997-03 ,pp. :
Brute force web search for wireless devices using mobile agents
By Zerfiridis K.G. Karatza H.D.
Journal of Systems and Software, Vol. 69, Iss. 1, 2004-01 ,pp. :
Representing scope in intuitionistic deductions
By Stone M.
Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. :