Descriptive set theoretic methods in automata theory : decidability and topological complexity
CiNii
Available at 3 libraries
Bibliographic Information
- Title
- "Descriptive set theoretic methods in automata theory : decidability and topological complexity"
- Statement of Responsibility
- Michał Skrzypczak
- Publisher
-
- Springer
- Publication Year
-
- c2016
- Book size
- 24 cm
- Series Name / No
-
- : pbk.
Search this Book/Journal
Notes
"Lecture Notes in Artificial Intelligence" -- Back cover
"FoLLI Publications on Logic, Language and Information" -- Series title page
Includes bibliographical references (p. 207-211)
- Tweet
Details 詳細情報について
-
- CRID
- 1130282270721616896
-
- NII Book ID
- BB22803178
-
- ISBN
- 9783662529461
-
- Text Lang
- en
-
- Country Code
- gw
-
- Title Language Code
- en
-
- Place of Publication
-
- Berlin
-
- Classification
-
- DC23: 511.322
-
- Subject
-
- LCSH: Descriptive set theory
- LCSH: Machine theory
-
- Data Source
-
- CiNii Books