Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yannick Forster 0002, Dominik Kirst, Dominik Wehr. Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings. Volume 11972 of Lecture Notes in Computer Science, pages 47-74, Springer, 2020. [doi]

This author has not been identified. Look up 'Yannick Forster 0002' in GoogleThis author has not been identified. Look up 'Dominik Kirst' in GoogleThis author has not been identified. Look up 'Dominik Wehr' in Google

runs on WebDSL