Programming Systems Lab: Publications by Dominik Wehr

Saarland University Computer Science

Select author:

2020

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. (To appear)


Login to edit


Legal notice, Privacy policy