Gabriel Ebner
From MaRDI portal
Person:1622973
Available identifiers
zbMath Open ebner.gabrielMaRDI QIDQ1622973
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| An extensible user interface for Lean 4 | 2024-11-26 | Paper |
| Unifying splitting | 2023-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384900 | 2021-12-17 | Paper |
| A unifying splitting framework | 2021-12-01 | Paper |
| Maintaining a library of formal mathematics | 2021-01-20 | Paper |
| Herbrand constructivization for automated intuitionistic theorem proving | 2020-05-14 | Paper |
| On the generation of quantified lemmas | 2019-05-31 | Paper |
| Complexity of decision problems on totally rigid acyclic tree grammars | 2018-11-22 | Paper |
| Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars | 2018-03-22 | Paper |
| System Description: GAPT 2.0 | 2016-09-05 | Paper |
Research outcomes over time
This page was built for person: Gabriel Ebner
