Programming Systems Lab: Publications by Dominik Wehr

Saarland University Computer Science

Select author:


Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory   (pdf)
Yannick Forster, Dominik Kirst, Dominik Wehr
Symposium on Logical Foundations Of Computer Science (LFCS 2020), January 4-7, 2020, Deerfield Beach, Florida, U.S.A.

Login to edit

Legal notice, Privacy policy