Catálogo de publicaciones - libros

Compartir en
redes sociales

Theory of Computation

Dexter C. Kozen

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Theory of Computation; Computational Mathematics and Numerical Analysis; Computational Science and Engineering; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2006	SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-1-84628-297-3

ISBN electrónico

978-1-84628-477-9

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

2006

Información sobre derechos de publicación

Cobertura temática

Ciencias de la computación e información

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1007/1-84628-477-5_1

The Complexity of Computations

Palabras clave: Turing Machine; Layout Problem; Input String; Short String; Universal Turing Machine.

- Lectures | Pp. 3-10

doi: 10.1007/1-84628-477-5_2

Time and Space Complexity Classes and Savitch’s Theorem

- Lectures | Pp. 11-16

doi: 10.1007/1-84628-477-5_3

Separation Results

Palabras clave: Encode Scheme; Turing Machine; Binary String; Separation Result; Input Alphabet.

- Lectures | Pp. 17-21

doi: 10.1007/1-84628-477-5_4

The Immerman-Szelepcsényi Theorem

- Lectures | Pp. 22-24

doi: 10.1007/1-84628-477-5_5

Logspace Computability

- Lectures | Pp. 25-29

doi: 10.1007/1-84628-477-5_6

The Circuit Value Problem

- Lectures | Pp. 30-34

doi: 10.1007/1-84628-477-5_7

The Knaster-Tarski Theorem

- Lectures | Pp. 35-43

doi: 10.1007/1-84628-477-5_8

Alternation

Palabras clave: Turing Machine; Computation Tree; Computation Path; Choice Point; Deterministic Time.

- Lectures | Pp. 44-50

doi: 10.1007/1-84628-477-5_9

Problems Complete for PSPACE

Palabras clave: Legal Move; Truth Assignment; Computation Path; Boolean Formula; Board Position.

- Lectures | Pp. 51-56

doi: 10.1007/1-84628-477-5_10

The Polynomial-Time Hierarchy

- Lectures | Pp. 57-61