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 four.

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

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

Abstract Cyclic Proofs.

Bahareh Afshari, Dominik Wehr

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

2020

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

Yannick Forster, Dominik Kirst, Dominik Wehr

CoRR, 2020

Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory.

Yannick Forster, Dominik Kirst, Dominik Wehr

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020