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

Detalles Bibliográficos
Autor principal:	Zeume, Thomas. (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	eBook
Lenguaje:	English
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10110
Materias:	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.

Tabla de Contenidos:

Ejemplares similares