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_21

IP $$ \subseteq $$ PSPACE

- Lectures | Pp. 109-112

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

Probabilistically Checkable Proofs

Palabras clave: Maximum Clique; Truth Assignment; Boolean Formula; Interactive Protocol; 3CNF Formula.

- Lectures | Pp. 113-118

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

NP $$ \subseteq $$ PCP(n^3, 1)

- Lectures | Pp. 119-123

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

More on PCP

- Lectures | Pp. 124-127

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

A Crash Course in Logic

- Lectures | Pp. 128-134

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

Complexity of Decidable Theories

Palabras clave: Binary Relation; Decidable Theory; Decision Procedure; Legal Move; Natural Order.

- Lectures | Pp. 135-139

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

Complexity of the Theory of Real Addition

Palabras clave: Equivalence Class; Induction Hypothesis; Turing Machine; Atomic Formula; Computation Tree.

- Lectures | Pp. 140-145

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

Lower Bound for the Theory of Real Addition

Palabras clave: Lower Complexity; Turing Machine; Complexity Class; Induction Step; Large Integer.

- Lectures | Pp. 146-150

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

Lower Bound for Integer Addition

Palabras clave: Computational Mathematic; High Complexity; Algorithm Analysis; Turing Machine; Complexity Class.

- Lectures | Pp. 151-153

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

Automata on Infinite Strings and S1S

Palabras clave: Acceptance Condition; Input String; Monadic Predicate; Monoid Homomorphism; Characteristic String.

- Lectures | Pp. 154-160