Export Ready — 
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /

Bibliographic Details
Main Author: Zeume, Thomas. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10110
Subjects:
Computer logic.
Software engineering.
Mathematical logic.
Programming languages (Electronic computers).
Algorithms.
Computer programming.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Table of Contents:
  • Dynamic Complexity: Definitions and Examples
  • Relating Small Dynamic Complexity Classes
  • Lower Bounds for Dynamic Complexity Classes. .

Similar Items