![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Nadathur G.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.232, Iss.1, 2000-02, pp. : 273-298
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
On the intuitionistic force of classical search
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Luo Qiang Yi Dongyun Yang Wenqiang
Kybernetes: The International Journal of Systems & Cybernetics, Vol. 38, Iss. 3-4, 2009-01 ,pp. :