Leitsch, Alexander

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Univ.Prof.i.R. Dr.phil.
 
Full name Familienname, Vorname
Leitsch, Alexander
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Structural analysis of cut-elimination.pdf.jpgWolfsteiner, Simon Peter Structural analysis of cut-eliminationThesis Hochschulschrift2015
2Space congruence compression of proofs.pdf.jpgFellner, Andreas Space & congruence compression of proofsThesis Hochschulschrift2014
3Schnittelimination in funktionaler Logik hoeherer Stufe.pdf.jpgPona, Nika Schnittelimination in funktionaler Logik höherer StufeThesis Hochschulschrift2016
4Preprocessing in higher-order reasoning learning from QBF solving.pdf.jpgSchurr, Hans Jörg Preprocessing in higher-order reasoning; learning from QBF solvingThesis Hochschulschrift2017
5Herbrand Sequente und die skolemisierungs-freie CERES Methode.pdf.jpgLolic, Anela Herbrand Sequente und die skolemisierungs-freie CERES MethodeThesis Hochschulschrift2015
6Extracting programs from proofs using Friedmans A-translation and realizability.pdf.jpgRietdijk, Mariëlle Extracting programs from proofs; using Friedman's A-translation and realizabilityThesis Hochschulschrift2018
7Applications of higher-order cut-elimination.pdf.jpgRiener, Martin Applications of higher-order cut-eliminationThesis Hochschulschrift2017
8Algorithms for quantified cut-introduction.pdf.jpgSpörk, Christoph Wolfgang Algorithms for quantified cut-introductionThesis Hochschulschrift2015
9Advances in schematic cut elimination.pdf.jpgCerna, David Michael Advances in schematic cut eliminationThesis Hochschulschrift2015