[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 9537 || Compactness in the Theory of Continuous Automata
Artemov, Sergei, Nerode, AnilVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-27683-0_18
File:
PDF, 222 KB
english, 2016