Leitsch, Alexander
Prefix title Titel (vorangestellt)
Univ.Prof.i.R. Dr.phil.
Full name Familienname, Vorname
Leitsch, Alexander
Results 1-9 of 9 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Wolfsteiner, Simon Peter | Structural analysis of cut-elimination | Thesis Hochschulschrift | 2015 |
2 | ![]() | Fellner, Andreas | Space & congruence compression of proofs | Thesis Hochschulschrift | 2014 |
3 | ![]() | Pona, Nika | Schnittelimination in funktionaler Logik höherer Stufe | Thesis Hochschulschrift | 2016 |
4 | ![]() | Schurr, Hans Jörg | Preprocessing in higher-order reasoning; learning from QBF solving | Thesis Hochschulschrift | 2017 |
5 | ![]() | Lolic, Anela | Herbrand Sequente und die skolemisierungs-freie CERES Methode | Thesis Hochschulschrift | 2015 |
6 | ![]() | Rietdijk, Mariëlle | Extracting programs from proofs; using Friedman's A-translation and realizability | Thesis Hochschulschrift | 2018 |
7 | ![]() | Riener, Martin | Applications of higher-order cut-elimination | Thesis Hochschulschrift | 2017 |
8 | ![]() | Spörk, Christoph Wolfgang | Algorithms for quantified cut-introduction | Thesis Hochschulschrift | 2015 |
9 | ![]() | Cerna, David Michael | Advances in schematic cut elimination | Thesis Hochschulschrift | 2015 |