Robert Hein. Geometric theories and modal logic in the calculus of structures. Master's thesis, Technische Universitat Dresden, 2005. URL: http://bitschnitzer.de/robert thesis.ps.gz. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
No context found.
Robert Hein. Geometric theories and modal logic in the calculus of structures. Master's thesis, Technische Universitat Dresden, 2005. URL: http://bitschnitzer.de/robert thesis.ps.gz.
A Deep Inference System for the Modal Logic S5 - Stouppa (2005) (1 citation) (Correct)
No context found.
R. Hein. Geometric Theories and Modal Logic in the Calculus of Structures. Master Thesis, Technische Universitat Dresden, 2005.
Deep Inference and the Calculus of Structures - Guglielmi (2005) (Correct)
No context found.
Robert Hein. Geometric theories and modal logic in the calculus of structures. Master's thesis, Technische Universitat Dresden, 2005. URL: http://bitschnitzer.de/robert thesis.ps.gz.
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