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
Context Related Articles Check |
This paper is cited by the following papers:
Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
A Deep Inference System for the Modal Logic S5 - Stouppa (2005) (1 citation) (Correct)
Deep Inference and the Calculus of Structures - Guglielmi (2005) (Correct)
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