Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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, Springer, 2020. [doi]

Conference: lfcs2020

This author has not been identified. Look up 'Sergei N. Artëmov' in GoogleThis author has not been identified. Look up 'Anil Nerode' in Google

runs on WebDSL