Alwen Fernanto Tiu. A local system for intuitionistic logic: Preliminary results. Available on the web at http://www.loria.fr/tiu/localint.pdf, 2005.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
No context found.
Alwen Fernanto Tiu. A local system for intuitionistic logic: Preliminary results. Available on the web at http://www.loria.fr/tiu/localint.pdf, 2005.
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
No context found.
Alwen Fernanto Tiu. A local system for intuitionistic logic: Preliminary results. Available on the web at http://www.loria.fr/tiu/localint.pdf, 2005.
Reducing the Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (1 citation) (Correct)
No context found.
Alwen Fernanto Tiu. A local system for intuitionistic logic: Preliminary results. Available on the web at http://www.loria.fr/tiu/localint.pdf, 2005.
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (2005) (Correct)
No context found.
Alwen Fernanto Tiu. A local system for intuitionistic logic: Preliminary results. Available on the web at http://www.loria.fr/tiu/localint.pdf, 2005.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC