Small dynamic complexity classes : an investigation into dynamic descriptive complexity /: an investigation into dynamic descriptive complexity. (2017)
- Record Type:
- Book
- Title:
- Small dynamic complexity classes : an investigation into dynamic descriptive complexity /: an investigation into dynamic descriptive complexity. (2017)
- Main Title:
- Small dynamic complexity classes : an investigation into dynamic descriptive complexity
- Further Information:
- Note: Thomas Zeume.
- Authors:
- Zeume, Thomas
- Contents:
- Dynamic Complexity: Definitions and Examples -- Relating Small Dynamic Complexity Classes -- Lower Bounds for Dynamic Complexity Classes.
- Publisher Details:
- Berlin, Germany : Springer
- Publication Date:
- 2017
- Extent:
- 1 online resource (viii, 149 pages), illustrations
- Subjects:
- 511.3/52
Computational complexity
Computational complexity
Computer Science
Logics and Meanings of Programs
Software Engineering
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Programming Techniques
Electronic books
Electronic books - Languages:
- English
- ISBNs:
- 9783662543146
3662543141 - Related ISBNs:
- 9783662543139
3662543133 - Notes:
- Note: Includes bibliographical references and index.
Note: Online resource; title from PDF title page (SpringerLink, viewed February 23, 2017). - 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.402044
- Ingest File:
- 02_446.xml