Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors
Pubbl/distr/stampa
Cham, : Springer, 2020
Titolo uniforme
Logical Foundations of Computer Science
Descrizione fisica
x, 287 p. : ill. ; 24 cm
Soggetti
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]