Dominik Wehr

According to our database, Dominik Wehr authored at least 8 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Unravelling Cyclic First-Order Arithmetic.

Graham E. Leigh, Dominik Wehr

CoRR, July, 2025

2024

Material dialogues for first-order logic in constructive type theory: extended version.

Dominik Wehr, Dominik Kirst

Math. Struct. Comput. Sci., 2024

Abstract cyclic proofs.

Bahareh Afshari, Dominik Wehr

Math. Struct. Comput. Sci., 2024

From GTC to : Generating reset proof systems from cyclic proof systems.

Graham E. Leigh, Dominik Wehr

Ann. Pure Appl. Log., 2024

2023

Exact bounds for acyclic higher-order recursion schemes.

Bahareh Afshari, Dominik Wehr

Inf. Comput., January, 2023

2022

Material Dialogues for First-Order Logic in Constructive Type Theory.

Dominik Wehr, Dominik Kirst

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Completeness theorems for first-order logic analysed in constructive type theory.

Yannick Forster, Dominik Kirst, Dominik Wehr

J. Log. Comput., 2021

2020

Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version).

Yannick Forster, Dominik Kirst, Dominik Wehr

CoRR, 2020