calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de récursion # sémantique opérationnelle # théorie de la quantification

Publisher City : Boston ; N.Y. ; San Diego

Publisher country : États-Unis

Language : English

Edition nb : 2nd ed.

EAN13 : 9780122063824

ISBN : 0-12-206382-1

Collation : 24 cm ; 609 p. ; Bibliogr. ; Index ; rel. ; xviii

Series : Computer science and scientific computing

Location : Disparu

ACM code : F.1 ; F.2 ; F.3 ; F.4.1 ; F.4.2

Book type : Monographie

Availability : Disparu

Level of authorization : Public

Copies