Dominik Wehr

According to our database, Dominik Wehr authored at least 6 papers between 2020 and 2024.

Collaborative distances:

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

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

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