No photo of Gabriel Ebner

Gabriel Ebner

    20162020

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Ancillary activities

    No ancillary activities

    Ancillary activities are updated daily

    Fingerprint

    Dive into the research topics where Gabriel Ebner is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

    Network

    Recent external collaboration on country level. Dive into details by clicking on the dots.
    • Maintaining a library of formal mathematics

      van Doorn, F., Ebner, G. & Lewis, R. Y., 2020, Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings. Benzmüller, C. & Miller, B. (eds.). Springer, p. 251-267 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12236 LNAI).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    • On the Generation of Quantified Lemmas

      Ebner, G., Hetzl, S., Leitsch, A., Reis, G. & Weller, D., 15 Jun 2019, In : Journal of Automated Reasoning. 63, 1, p. 95-126 32 p.

      Research output: Contribution to JournalArticleAcademicpeer-review

      Open Access
    • Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars

      Eberhard, S., Ebner, G. & Hetzl, S., 1 Jan 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (eds.). Springer Verlag, p. 291-303 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11088 LNCS).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    • Efficient translation of sequent calculus proofs into natural deduction proofs

      Ebner, G. & Schlaipfer, M., 1 Jan 2018, 6th Workshop on Practical Aspects of Automated Reasoning, PAAR 2018. Vol. 2162. p. 17-33 17 p. (CEUR Workshop Proceedings).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    • Fast cut-elimination using proof terms: An empirical study

      Ebner, G., 19 Oct 2018, 7th International Workshop on Classical Logic and Computation, CL and C 2018; Oxford; United Kingdom; 7 July 2018 through. Vol. 281. p. 24-38 15 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

      Open Access
    Your message has successfully been sent.
    Your message was not sent due to an error.
    If you made any changes in Pure these will be visible here soon.