Prefix title Titel (vorangestellt)
Privatdoz.
 
Full name Familienname, Vorname
Weller, Daniel
 

Results 1-20 of 24 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Rudnicki, Piotr ; Sutcliffe, Geoff Transforming and Analyzing Proofs in the CERES-systemKonferenzbeitrag Inproceedings 2008
2Weller, Daniel Towards CERES in Higher-Order LogicPräsentation Presentation2010
3Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Bjorner, Nikolaj ; Voronkov, Andrei Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
4Weller, Daniel The structure of the solution space in algorithmic cut-introductionPräsentation Presentation2013
5Dunchev, Cvetan ; Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Pichardie, David ; Weber, Tjark System feature description: importing refutations into the GAPT frameworkKonferenzbeitrag Inproceedings2012
6Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Libal, Tomer ; Giesl, Jürgen ; Hähnle, Rainer System Description: The Proof Transformation System CERESKonferenzbeitrag Inproceedings2010
7Weller, Daniel Skolemization, cut-free proof and complexityPräsentation Presentation2011
8Weller, Daniel Skolemization of sequent calculus proofs in higher-order logicPräsentation Presentation2008
9Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan ; Kaliszyk, Cezary Prooftool: a GUI for the GAPT FrameworkKonferenzbeitrag Inproceedings 2013
10Weller, Daniel Proof search in cut-eliminationPräsentation Presentation2011
11Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Sutcliffe, Geoff ; Colton, Simon ; Schulz, Stephan Proof Analysis with HLK, CERES and ProofTool: Current Status and Future DirectionsKonferenzbeitrag Inproceedings2008
12Weller, Daniel Proof AnalysisPräsentation Presentation2010
13Ebner 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
14Baaz, Matthias ; Hetzl, Stefan ; Weller, Daniel On the complexity of proof deskolemizationPräsentation Presentation2010
15Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Tapolczai, Janos ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityKonferenzbeitrag Inproceedings 2014
16Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Autexier, S Herbrand Sequent ExtractionKonferenzbeitrag Inproceedings 2008
17Weller, Daniel ; Hetzl, Stefan Expansion trees with cutPräsentation Presentation2013
18Weller, Daniel Deskolemization, equality and logical complexityPräsentation Presentation2012
19Weller, Daniel Deskolemization, equality and logical complexityPräsentation Presentation2012
20Weller, Daniel Cut-Elimination by Resolution and Skolemization in Second-Order LogicPräsentation Presentation2008