Descriptive set theoretic methods in automata theory : decidability and topological complexity /: decidability and topological complexity. (2016)

• Record Type: Book
• Further Information: Note: Michał Skrzypczak.
• Authors: Skrzypczak, Michał
• Contents: Subclasses of regular languages -- Thin algebras -- Extensions of regular languages.
• Publisher Details: Berlin : Springer
• Publication Date: 2016
• Extent: 1 online resource (xiii, 211 pages), illustrations
• Subjects: 511.3/22; Descriptive set theory; Machine theory; Descriptive set theory; Machine theory; Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science; Software Engineering; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783662529478; 3662529475; 3662529467; 9783662529461
• Related ISBNs: 9783662529461
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed August 12, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.