Programming Systems Lab: Publications by Marc Hermes

Saarland University Computer Science

Select author:

2022

An Analysis of Tennenbaum's Theorem in Constructive Type Theory   (pdf)
Marc Hermes, Dominik Kirst
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Haifa, Israel

2021

Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq   (pdf)
Dominik Kirst, Marc Hermes
12th International Conference on Interactive Theorem Proving (ITP 2021)


Login to edit


Legal notice, Privacy policy