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_31

Determinization of ω-Automata

- Lectures | Pp. 161-166

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

Safra’s Construction

Palabras clave: Arbitrary Order; Visible Color; Start State; Lexicographic Order; Acceptance Condition.

- Lectures | Pp. 167-170

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

Relativized Complexity

- Lectures | Pp. 171-174

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

Nonexistence of Sparse Complete Sets

Palabras clave: Decision Procedure; Boolean Variable; Truth Assignment; Boolean Formula; Satisfying Assignment.

- Lectures | Pp. 175-179

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

Unique Satisfiability

- Lectures | Pp. 180-184

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

Toda’s Theorem

- Lectures | Pp. 185-191

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

Circuit Lower Bounds and Relativized PSPACE = PH

Palabras clave: Boolean Function; Parity Function; Constant Depth; Computation Path; Polynomial Size.

- Lectures | Pp. 192-197

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

Lower Bounds for Constant Depth Circuits

- Lectures | Pp. 198-203

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

The Switching Lemma

- Lectures | Pp. 204-210

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

Tail Bounds

- Lectures | Pp. 211-214