Dominik Wehr

From MaRDI portal
Person:2112793

Available identifiers

zbMath Open wehr.dominikMaRDI QIDQ2112793

List of research outcomes





PublicationDate of PublicationType
From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems2024-08-08Paper
Abstract cyclic proofs2023-06-02Paper
Material dialogues for first-order logic in constructive type theory2023-06-02Paper
From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems2023-01-18Paper
Exact bounds for acyclic higher-order recursion schemes2023-01-12Paper
Completeness theorems for first-order logic analysed in constructive type theory2022-02-08Paper
Completeness theorems for first-order logic analysed in constructive type theory2020-05-06Paper

Research outcomes over time



This page was built for person: Dominik Wehr

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2112793&oldid=6636129"
Powered by MediaWiki