Name Card

Full name Familienname, Vorname
Ebner, Gabriel
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-13 of 13 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ebner Gabriel - 2021 - Inductive theorem proving based on tree grammars.pdf.jpgEbner, Gabriel Inductive theorem proving based on tree grammarsThesis Hochschulschrift 2021
2Ebner, Gabriel Herbrand Construictivization for Automated Intuitionistic Theorem ProvingKonferenzbeitrag Inproceedings2019
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
4Ebner, Gabriel Herbrand constructivization for automated intuitionistic theorem provingPräsentation Presentation2018
5Ebner, Gabriel Tree Grammars for Induction on Inductive Data Types modulo Equational TheoriesPräsentation Presentation2018
6Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Complexity of decision problems on totally rigid acyclic tree grammarsKonferenzbeitrag Inproceedings2018
7Ebner, Gabriel Fast Cut-Elimination using Proof Terms: An Empirical StudyKonferenzbeitrag Inproceedings2018
8Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan Algorithmic Compression of Finite Tree Languages by Rigid Acyclic GrammarsArtikel Article 31-Oct-2017
9Ebner, Gabriel ; de Moura, Leonardo ; Roesch, Jared ; Ullrich, Sebastian The Lean Theorem ProverPräsentation Presentation2017
10Ebner, Gabriel Complexity of Decision Problems on TratgsPräsentation Presentation2017
11Ebner, Gabriel ; Ullrich, Sebastian ; Roesch, Jared ; Avigad, Jeremy ; de Moura, Leonardo A metaprogramming framework for formal verificationArtikel Article2017
12Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon Peter ; Zivota, Sebastian System Description: GAPT 2.0Konferenzbeitrag Inproceedings 12-Jun-2016
13Ebner Gabriel - 2015 - Finding loop invariants using tree grammars.pdf.jpgEbner, Gabriel Finding loop invariants using tree grammarsThesis Hochschulschrift 2015