Finite automata, formal logic and circuit complexity
automate fini # jeu de théorie des modèles # langage formel # langage régulier # langage régulier et complexité de circuit # logique du premier ordre # logique formelle # mot et langage # quantificateur modulaire # semi-groupe et homomorphisme # semi-groupe fini # théorème de Krohn-Rhodes # théorème de catégorie
Ville d'édition : Basel ; Berlin ; Boston
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9780817637194
ISBN : 0-8176-3719-2
Collation : Bibliogr. ; Index ; xii#25 cm#rel.
Collection : Progress in theoretical computer science
Localisation : Ouvrage RdC (STRA)
Code ACM : F.1.1 ; F.1.3 ; F.4.1
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00017371 | [disponible] |