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_11

More on the Polynomial-Time Hierarchy

- Lectures | Pp. 62-65

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

Parallel Complexity

- Lectures | Pp. 66-69

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

Relation of NC to Time-Space Classes

- Lectures | Pp. 70-73

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

Probabilistic Complexity

- Lectures | Pp. 74-81

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

BPP $$ \subseteq $$ Σ _2 ^P ∩ Π _2 ^P

- Lectures | Pp. 82-85

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

Chinese Remaindering

- Lectures | Pp. 86-89

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

Complexity of Primality Testing

Palabras clave: Prime Power; Recursive Call; Riemann Hypothesis; Primality Test; Chinese Remainder Theorem.

- Lectures | Pp. 90-94

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

Berlekamp’s Algorithm

- Lectures | Pp. 95-98

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

Interactive Proofs

- Lectures | Pp. 99-102

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

PSPACE $$ \subseteq $$ IP

- Lectures | Pp. 103-108