Programming Systems Lab: Publications by Johannes Hostert

Saarland University Computer Science

Select author:

2022

Undecidability of Dyadic First-Order Logic in Coq   (pdf)
Johannes Hostert, Andrej Dudenhefner, Dominik Kirst
13th International Conference on Interactive Theorem Proving (ITP 2022), Haifa, Israel


Login to edit


Legal notice, Privacy policy