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_51

Fair Termination and Harel’s Theorem

Palabras clave: Binary Tree; Left Branch; Computation Path; Fair Termination; Concurrent Program.

- Lectures | Pp. 267-271

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

Homework 1

- Exercises | Pp. 275-275

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

Homework 2

- Exercises | Pp. 276-276

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

Homework 3

- Exercises | Pp. 277-278

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

Homework 4

- Exercises | Pp. 279-279

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

Homework 5

- Exercises | Pp. 280-280

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

Homework 6

- Exercises | Pp. 281-281

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

Homework 7

Palabras clave: Computational Mathematic; Natural Number; Problem Complexity; Rational Number; Linear Order.

- Exercises | Pp. 282-282

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

Homework 8

- Exercises | Pp. 283-283

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

Homework 9

- Exercises | Pp. 284-284