Publications
Peer-reviewed publications
- Exact bounds for acyclic higher-order recursion schemes
Bahareh Afshari, Dominik Wehr
Journal of Information and Computation, Volume 290, January 2023
- Abstract Cyclic Proofs
Bahareh Afshari, Dominik Wehr
WoLLIC 2022, Iaşi, Romania, 2022.
- Material Dialogues for First-Order Logic in Constructive Type Theory [Preprint]
Dominik Wehr, Dominik Kirst
WoLLIC 2022, Iaşi, Romania, 2022.
- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory: Extended Version [Preprint]
Yannick Forster, Dominik Kirst, Dominik Wehr
Journal of Logic and Computation, Volume 31, Issue 1, January 2021
- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory [Preprint]
Yannick Forster, Dominik Kirst, Dominik Wehr
LFCS 2020, Deerfield Beach, Florida, USA, 2020.
Preprints & technical reports