Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
On Two Forms of Bureaucracy in Derivations - Brünnler, Lengrand Self-citation (Brunnler) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs.PhDthesis, Technische Universitat Dresden, September 2003.
Some Notes on Proofs with Alpha Graphs - Frithjof Dau Technische (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003.
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry for Classical Proofs. PhD thesis, Technische Universit at Dresden, 2003.
Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. Logos Verlag, Berlin, 2004. URL: http://www.iam.unibe.ch/kai/Papers/phd.pdf.
From the Calculus of Structures to Term Rewriting Systems - Hölldobler, Kahramanogullari (2004) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003.
Deep Sequent Systems for Modal Logic - Brünnler (2006) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, September 2003.
System BV without the Equalities for Unit - Kahramanogullari (2004) (5 citations) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003.
Polynomial Size Deep-Inference Proofs Instead Of Exponential.. - Guglielmi (2004) (3 citations) (Correct)
No context found.
Kai Brnnler. Deep inference and symmetry in classical proofs. PhD thesis, Technische Universitt Dresden, 2003. URL: http://www.iam.unibe.ch/~kai/Papers/phd.pdf.
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. Logos Verlag, Berlin, 2004.
Cut Elimination inside a Deep Inference System for Classical.. - Brünnler (2002) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, September 2003.
What is a Logic, and What is a Proof? - Straßburger (2005) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry for Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003. 10
A Local System for Intuitionistic Logic: Preliminary Results - Tiu (2005) (4 citations) (Correct)
No context found.
Brunnler, K.: Deep Inference and Symmetry in Classical Proofs. PhD thesis, TU Dresden (2003)
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003.
Unknown - Resolution In The (Correct)
No context found.
Kai Brnnler. Deep inference and symmetry in classical proofs. PhD thesis, Technische Universitt Dresden, 2003. URL: http://www.ki.inf.tu--dresden.de/~kai/phd.pdf.
System BV is NP-complete - Kahramanogullari (2005) (1 citation) (Correct)
No context found.
Brunnler, K., "Deep Inference and Symmetry in Classical Proofs," Ph.D. thesis, Technische Universitat Dresden (2003).
Reducing Nondeterminism in the Calculus of Structures - Kahramanogullari (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003.
Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry for Classical Proofs.PhDthesis, Technische Universitat Dresden, 2003. In preparation.
Implementing System BV of the Calculus of Structures in Maude - Kahramanogullari (2004) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003.
A System of Interaction and Structure - Guglielmi (2004) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. Logos Verlag, Berlin, 2004. URL: http://www.iam.unibe.ch/kai/Papers/phd.pdf.
Mismatch - Guglielmi (2003) (Correct)
No context found.
Kai Brnnler. Deep inference and symmetry in classical proofs. PhD thesis, Technische Universitt Dresden, 2003. URL: http://www.ki.inf.tu--dresden.de/~kai/phd.pdf.
A System of Interaction and Structure - Guglielmi (2004) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. Logos Verlag, Berlin, 2004. URL: http://www.iam.unibe.ch/kai/Papers/phd.pdf.
Mismatch - Guglielmi (2003) (Correct)
No context found.
Kai Brnnler. Deep inference and symmetry in classical proofs. PhD thesis, Technische Universitt Dresden, 2003. URL: http://www.ki.inf.tu--dresden.de/~kai/phd.pdf.
Polynomial Size Deep-Inference Proofs Instead Of Exponential.. - Guglielmi (2004) (3 citations) (Correct)
No context found.
Kai Brnnler. Deep inference and symmetry in classical proofs. PhD thesis, Technische Universitt Dresden, 2003. URL: http://www.iam.unibe.ch/~kai/Papers/phd.pdf.
System BV without the Equalities for Unit - Kahramanogullari (2004) (5 citations) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. PhD thesis, Technische Universitat Dresden, 2003.
Geometric Theories and Modal Logic in the Calculus of Structures - Hein (2005) (3 citations) (Correct)
No context found.
Kai Brunnler. Deep Inference and Symmetry in Classical Proofs. Logos Verlag, Berlin, 2004.
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