Leitsch, Alexander
Prefix title Titel (vorangestellt)
Univ.Prof.i.R. Dr.phil.
Full name Familienname, Vorname
Leitsch, Alexander
Subject
Date issued
Fulltext
Results 1-1 of 1 (Search time: 0.004 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel | CERES in higher-order logic | Article Artikel  | 2011 |
Subject
Date issued
Fulltext
Results 1-9 of 9 (Search time: 0.012 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 |