Dominik Wehr

Available identifiers

zbMath Open wehr.dominikMaRDI QIDQ2112793

List of research outcomes

Publication	Date of Publication	Type
From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems	2024-08-08	Paper
Abstract cyclic proofs	2023-06-02	Paper
Material dialogues for first-order logic in constructive type theory	2023-06-02	Paper
From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems	2023-01-18	Paper
Exact bounds for acyclic higher-order recursion schemes	2023-01-12	Paper
Completeness theorems for first-order logic analysed in constructive type theory	2022-02-08	Paper
Completeness theorems for first-order logic analysed in constructive type theory	2020-05-06	Paper

Research outcomes over time

This page was built for person: Dominik Wehr