Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity (Lecture Notes in Computer Science)

出版社: Springer(2016-08-06)

ペーパーバック: 228 ページ / 15.5 x 1.3 x 23.5 cm

ISBN-10: 3662529467  ISBN-13: 9783662529461