Sign in
Marc Hermes
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Building Blocks
Intelligent Systems
Von Neumann
Missing Values
Top Venues
ITP
CoRR
FSCD
J. Autom. Reason.
</>
Publications
</>
Dominik Kirst
,
Marc Hermes
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.
J. Autom. Reason.
67 (1) (2023)
Marc Hermes
,
Dominik Kirst
An Analysis of Tennenbaum's Theorem in Constructive Type Theory.
CoRR
(2023)
Marc Hermes
,
Dominik Kirst
An Analysis of Tennenbaum's Theorem in Constructive Type Theory.
FSCD
(2022)
Dominik Kirst
,
Marc Hermes
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq.
ITP
(2021)