Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Some Notes on Proofs with Alpha Graphs - Frithjof Dau Technische (Correct)
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
From the Calculus of Structures to Term Rewriting Systems - Hölldobler, Kahramanogullari (2004) (Correct)
Deep Sequent Systems for Modal Logic - Brünnler (2006) (Correct)
System BV without the Equalities for Unit - Kahramanogullari (2004) (5 citations) (Correct)
Polynomial Size Deep-Inference Proofs Instead Of Exponential.. - Guglielmi (2004) (3 citations) (Correct)
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
Cut Elimination inside a Deep Inference System for Classical.. - Brünnler (2002) (Correct)
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
A Local System for Intuitionistic Logic: Preliminary Results - Tiu (2005) (4 citations) (Correct)
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
Unknown - Resolution In The (Correct)
System BV is NP-complete - Kahramanogullari (2005) (1 citation) (Correct)
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
Implementing System BV of the Calculus of Structures in Maude - Kahramanogullari (2004) (Correct)
A System of Interaction and Structure - Guglielmi (2004) (Correct)
Mismatch - Guglielmi (2003) (Correct)
A System of Interaction and Structure - Guglielmi (2004) (Correct)
Mismatch - Guglielmi (2003) (Correct)
Polynomial Size Deep-Inference Proofs Instead Of Exponential.. - Guglielmi (2004) (3 citations) (Correct)
System BV without the Equalities for Unit - Kahramanogullari (2004) (5 citations) (Correct)
Geometric Theories and Modal Logic in the Calculus of Structures - Hein (2005) (3 citations) (Correct)
On Two Forms of Bureaucracy in Derivations - Brünnler, Lengrand Self-citation (Brunnler) (Correct)
First 50 documents
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