L- isomorphisme # calcul faisable # complexité informatique # ensemble complet # langage formel # preuve de théorème trivial # problème P=NP relativisé # propriété de complexité prouvable # réduction # structure # système mathématique formel # théorie des ensembles formelles

Publisher City : Philadelphia

Publisher country : États-Unis

Language : English

EAN13 : 9780898710274

ISBN : 0-89871-027-8

Collation : 25 cm#broch. ; Bibliogr.

Series : CBMS-NSF regional conference series in applied mathematics

Nb in series : 0030

Location : Collection 1er étage

ACM code : F.1.3 ; F.2 ; F.4.3

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies