Login / Signup
Marc Hermes
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 5
Top Topics
Missing Values
Intelligent Systems
Description Logics
Empirical Data
Top Venues
ITP
CoRR
FSCD
Log. Methods Comput. Sci.
</>
Publications
</>
Marc Hermes
,
Dominik Kirst
An Analysis of Tennenbaum's Theorem in Constructive Type Theory.
Log. Methods Comput. Sci.
20 (1) (2024)
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)