Name Card

Full name Familienname, Vorname
Weller, Daniel
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 37 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aschieri, Federico ; Hetzl, Stefan ; Weller, Daniel Expansion trees with cutArtikel Article 8-Oct-2019
2Ebner 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
3Weller, Daniel Contributions to algorithmic proof analysisThesis Hochschulschrift2019
4Leitsch, Alexander ; Peltier, Nicolas ; Weller, Daniel CERES for first-order schemataArtikel Article Oct-2017
5Baaz, Matthias ; Ciabattoni, Agata ; Gabbay, Dov M. ; Hetzl, Stefan ; Weller, Daniel PrefaceArtikel ArticleMar-2017
6Eberhard, Sebastian ; Hetzl, Stefan ; Weller, Daniel Boolean Unification with PredicatesArtikel Article 2017
7Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Tapolczai, Janos ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityKonferenzbeitrag Inproceedings 2014
8Hetzl, Stefan ; Reis, Giselle ; Weller, Daniel Algorithmic Introduction of Quantified CutsPreprint Preprint2014
9Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel Algorithmic introduction of quantified cutsArtikel Article2014
10Leitsch, Alexander ; Hetzl, Stefan ; Reis, Giselle ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityPreprint Preprint2014
11Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan Prooftool: a GUI for the GAPT FrameworkKonferenzbeitrag Inproceedings 2013
12Weller, Daniel ; Hetzl, Stefan Expansion trees with cutPräsentation Presentation2013
13Weller, Daniel The structure of the solution space in algorithmic cut-introductionPräsentation Presentation2013
14Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Rukhaia, Mikheil Ceres for First-Order SchemataPreprint Preprint2013
15Hetzl, Stefan ; Weller, Daniel Expansion trees with cutPreprint Preprint2013
16Weller, Daniel Deskolemization, equality and logical complexityPräsentation Presentation2012
17Weller, Daniel Deskolemization, equality and logical complexityPräsentation Presentation2012
18Baaz, Matthias ; Hetzl, Stefan ; Weller, Daniel On the complexity of proof deskolemizationArtikel Article2012
19Dunchev, Cvetan ; Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno System feature description: importing refutations into the GAPT frameworkKonferenzbeitrag Inproceedings2012
20Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012