Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Hetzl, Stefan - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7 - Denis Diderot
Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
A GraphTheoretic Approach to Steganography Stefan Hetzl1
Proof theory is the branch of mathematical logic that investigates mathemat-ical reasoning and mathematical proofs. This area emanated from Hilbert's
Alexander Leitsch DIPLOMARBEIT
Mathematical Logic 2 Stefan Hetzl
The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
A Clausal Approach to Proof Analysis in Second-Order Logic
The Journal of Symbolic Logic Volume 76, Number 1, March 2011
Proof Transformation by CERES Matthias Baaz1
Proof Fragments, Cut-Elimination and Cut-Introduction
A Sequent Calculus with Implicit Term Representation
Herbrand Sequent Extraction Stefan Hetzl1
Proof Transformations and Structural Invariance
DISSERTATION Characteristic Clause Sets
Describing Proofs by Short Tautologies Stefan Hetzl
Cut-Elimination: Experiments with CERES Matthias Baaz1
CERES in Higher-Order Logic Stefan Hetzla
CERES: An Analysis of Furstenberg's Proof of the Infinity of Primes
Notre Dame Journal of Formal Logic The Computational Content of Arithmetical Proofs
