E-LIB Suche - Ergebnisse für: Ebner, Gabriel

1

Lean Formalization of Extended Regular Expression Matching ..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Zhuchko, Ekaterina ; Veanes, Margus ; Ebner, Gabriel - p. 118-131 , 2024

Link: https://dl.acm.org/doi/1..

2

Unifying Splitting:

Ebner, Gabriel ; Blanchette, Jasmin ; Tourret, Sophie
Journal of Automated Reasoning. 67 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

3

Surface preparation for characterization of nitride compoun..:

Sommer, Michaela ; Ebner, Gabriel ; Decho, Helge..
Journal of Materials Research and Technology. 24 (2023) - p. 7974-7988 , 2023

Link: https://doi.org/10.1016/..

4

A Unifying Splitting Framework:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Ebner, Gabriel ; Blanchette, Jasmin ; Tourret, Sophie - p. 344-360 , 2021

Link: https://doi.org/10.1007/..

5

Maintaining a Library of Formal Mathematics:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

van Doorn, Floris ; Ebner, Gabriel ; Lewis, Robert Y. - p. 251-267 , 2020

Link: https://doi.org/10.1007/..

6

Herbrand Constructivization for Automated Intuitionistic Th..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Ebner, Gabriel - p. 355-373 , 2019

Link: https://doi.org/10.1007/..

7

Complexity of Decision Problems on Totally Rigid Acyclic Tr..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,

Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan - p. 291-303 , 2018

Link: https://doi.org/10.1007/..

8

On the Generation of Quantified Lemmas:

Ebner, Gabriel ; Hetzl, Stefan ; Leitsch, Alexander..
Journal of Automated Reasoning. 63 (2018) 1 - p. 95-126 , 2018

Link: https://doi.org/10.1007/..

9

A metaprogramming framework for formal verification:

Ebner, Gabriel ; Ullrich, Sebastian ; Roesch, Jared..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-29 , 2017

Link: https://dl.acm.org/doi/1..

10

Algorithmic Compression of Finite Tree Languages by Rigid A..:

Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan
ACM Transactions on Computational Logic (TOCL). 18 (2017) 4 - p. 1-20 , 2017

Link: https://dl.acm.org/doi/1..

11

A metaprogramming framework for formal verification:

Ebner, Gabriel ; Ullrich, Sebastian ; Roesch, Jared..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

12

Algorithmic Compression of Finite Tree Languages by Rigid A..:

Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan
ACM Transactions on Computational Logic. 18 (2017) 4 - p. 1-20 , 2017

Link: https://doi.org/10.1145/..

13

Unifying Splitting:

Ebner, Gabriel ; Blanchette, Jasmin ; Tourret, Sophie
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-023-09660-8. , 2023

Link: https://inria.hal.scienc..

14

An Extensible User Interface for Lean 4:

Nawrocki, Wojciech ; Ayers, Edward W ; Ebner, Gabriel
Is Part Of LIPIcs, Volume 268, 14th International Conference on Interactive Theorem Proving (ITP 2023). , 2023

Link: https://doi.org/10.4230/..

15

Unifying Splitting:

Ebner, Gabriel ; Blanchette, Jasmin ; Tourret, Sophie
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-023-09660-8. , 2023

Link: https://inria.hal.scienc..