En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Finite automata, formal logic and circuit complexity

Bookmarks Report an error
Ouvrage

Straubin, Howard (Principal)

Birkhäuser

1994

226 p.

978-0-8176-3719-4

00017371

03B10 ; 03Cxx ; 03D05 ; 20F10 ; 20M35

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

Publisher City : Basel ; Berlin ; Boston

Publisher country : États-Unis

Language : English

EAN13 : 9780817637194

ISBN : 0-8176-3719-2

Collation : Bibliogr. ; Index ; xii#25 cm#rel.

Series : Progress in theoretical computer science

Location : Ouvrage RdC (STRA)

ACM code : F.1.1 ; F.1.3 ; F.4.1

Book type : Monographie

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00017371

[available]
Bookmarks Report an error