Publications

Peer-reviewed publications

From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
Graham E. Leigh, Dominik Wehr.
Annals of Pure and Applied Logic, December 2024.
Abstract cyclic proofs
Bahareh Afshari, Dominik Wehr
Mathematical Structures in Computer Science, April 2024.
Material dialogues for first-order logic in constructive type theory: extended version
Dominik Wehr, Dominik Kirst
Mathematical Structures in Computer Science, November 2023.
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.