Name Card

Full name Familienname, Vorname
Leitsch, Alexander
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 67 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cerna-2021-Journal of Automated Reasoning-vor.pdf.jpgCerna, David M. ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataArtikel Article Jun-2021
2Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela An abstract form of the first epsilon theoremArtikel Article 2021
3Ebner Gabriel - 2018 - On the Generation of Quantified Lemmas.pdf.jpgEbner, Gabriel ; Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel On the Generation of Quantified LemmasArticle Artikel 2019
4Leitsch, Alexander ; Lolic, Anela Extraction of Expansion TreesArtikel Article 2019
5Cerna, David ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataPreprint Preprint2019
6Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela A Sequent-Calculus Based Formulation of the Extended First Epsilon TheoremKonferenzbeitrag Inproceedings2018
7Leitsch, Alexander ; Peltier, Nicolas ; Weller, Daniel CERES for first-order schemataArtikel Article Oct-2017
8Cerna, David ; Leitsch, Alexander ; Reis, Giselle ; Wolfsteiner, Simon Peter Ceres in intuitionistic logicArtikel Article Oct-2017
9Lolic, Anela ; Leitsch, Alexander Expansion Trees from Non-Normalized Proofs with CERESPräsentation Presentation2017
10Leitsch, Alexander ; Lettmann, Michael The problem of Pi_2-cut-introductionArtikel Article 2017
11Leitsch, Alexander ; Cerna, David Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]Preprint Preprint25-Jan-2016
12Leitsch, Alexander CERES in intuitionistic logic completenessPräsentation Presentation2016
13Leitsch, Alexander ; Cerna, David Schematic Cut Elimination and the Ordered Pigeonhole PrincipleKonferenzbeitrag Inproceedings2016
14Leitsch, Alexander ; Baaz, Matthias ; Reis, Giselle A Note on the Complexity of Classical and Intuitionistic ProofsKonferenzbeitrag Inproceedings2015
15Leitsch, Alexander ; Cerna, David Analysis of Clause set Schema Aided by Automated Theorem Proving: {A} Case Study [Extended Paper]Preprint Preprint2015
16Leitsch, Alexander Mathematical Proof AnalysisPräsentation Presentation2014
17Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Tapolczai, Janos ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityKonferenzbeitrag Inproceedings 2014
18Baaz, M. ; Leitsch, A. Cut-Elimination: Syntax and SemanticsArtikel Article2014
19Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel Algorithmic introduction of quantified cutsArtikel Article2014
20Leitsch, Alexander ; Hetzl, Stefan ; Reis, Giselle ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityPreprint Preprint2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 30 (Search time: 0.018 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lolic Anela - 2020 - Automated proof analysis by CERES.pdf.jpgLolić, Anela Automated proof analysis by CERESThesis Hochschulschrift 2020
2Lettmann Michael Peter - 2018 - Algorithmic introduction of 2-cuts.pdf.jpgLettmann, Michael Peter Algorithmic introduction of π2-cutsThesis Hochschulschrift 2018
3Rietdijk Marielle - 2018 - Extracting programs from proofs using Friedmans...pdf.jpgRietdijk, Mariëlle Extracting programs from proofs : using Friedman's A-translation and realizabilityThesis Hochschulschrift 2018
4Schurr Hans Joerg - 2017 - Preprocessing in higher-order reasoning learning from...pdf.jpgSchurr, Hans Jörg Preprocessing in higher-order reasoning : learning from QBF solvingThesis Hochschulschrift 2017
5Riener Martin - 2017 - Applications of higher-order cut-elimination.pdf.jpgRiener, Martin Applications of higher-order cut-eliminationThesis Hochschulschrift 2017
6Condoluci, Andrea CERES in aussagenlogischen BeweisschemataThesis Hochschulschrift2016
7Pona Nika - 2016 - Schnittelimination in funktionaler Logik hoeherer Stufe.pdf.jpgPona, Nika Schnittelimination in funktionaler Logik höherer StufeThesis Hochschulschrift 2016
8Spoerk Christoph Wolfgang - 2015 - Algorithms for quantified cut-introduction.pdf.jpgSpörk, Christoph Wolfgang Algorithms for quantified cut-introductionThesis Hochschulschrift 2015
9Wolfsteiner Simon Peter - 2015 - Structural analysis of cut-elimination.pdf.jpgWolfsteiner, Simon Peter Structural analysis of cut-eliminationThesis Hochschulschrift 2015
10Cerna David Michael - 2015 - Advances in schematic cut elimination.pdf.jpgCerna, David Michael Advances in schematic cut eliminationThesis Hochschulschrift 2015
11Lolic Anela - 2015 - Herbrand Sequente und die skolemisierungs-freie CERES...pdf.jpgLolić, Anela Herbrand Sequente und die skolemisierungs-freie CERES MethodeThesis Hochschulschrift 2015
12Fellner Andreas - 2014 - Space congruence compression of proofs.pdf.jpgFellner, Andreas Space & congruence compression of proofsThesis Hochschulschrift 2014
13Machado Nogueira Reis Giselle - 2014 - Cut-elimination by resolution in...pdf.jpgMachado Nogueira Reis, Giselle Cut-elimination by resolution in intuitionistic logicThesis Hochschulschrift 2014
14Rukhaia, Mikheil CERES in proof schemataThesis Hochschulschrift2012
15Acar Erman - 2012 - Models of hypercomputation.pdf.jpgAcar, Erman Models of hypercomputationThesis Hochschulschrift 2012
16Dunchev Tsvetan Chavdarov - 2012 - Automation of cut-elimination in proof...pdf.jpgDunchev, Tsvetan Chavdarov Automation of cut-elimination in proof schemataThesis Hochschulschrift 2012
17Libal Tomer - 2012 - Unification in higher-order resolution.pdf.jpgLíbal, Tomer Unification in higher-order resolutionThesis Hochschulschrift 2012
18Riener, Martin Integrating theories into inference systemsThesis Hochschulschrift2011
19Weller, Daniel CERES in higher-order logicThesis Hochschulschrift2010
20Rukhaia, Mikheil CERES and fast cut-eliminationThesis Hochschulschrift2009