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.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items