Dominik Wehr

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Probabilistic Graphical Models

Inference Rules

Quantifier Free

Top Venues

J. Log. Comput.

Publications

Graham E. Leigh, Dominik Wehr
From GTC to : Generating reset proof systems from cyclic proof systems. Ann. Pure Appl. Log. 175 (10) (2024)
Bahareh Afshari, Dominik Wehr
Exact bounds for acyclic higher-order recursion schemes. Inf. Comput. 290 (2023)
Dominik Wehr, Dominik Kirst
Material Dialogues for First-Order Logic in Constructive Type Theory. WoLLIC (2022)
Bahareh Afshari, Dominik Wehr
Abstract Cyclic Proofs. WoLLIC (2022)
Yannick Forster, Dominik Kirst, Dominik Wehr
Completeness theorems for first-order logic analysed in constructive type theory. J. Log. Comput. 31 (1) (2021)
Yannick Forster, Dominik Kirst, Dominik Wehr
Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version). CoRR (2020)
Yannick Forster, Dominik Kirst, Dominik Wehr
Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory. LFCS (2020)