top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Cellular Automata and Groups / Tullio Ceccherini-Silberstein, Michel Coornaert
Cellular Automata and Groups / Tullio Ceccherini-Silberstein, Michel Coornaert
Autore Ceccherini-Silberstein, Tullio
Edizione [2. ed]
Pubbl/distr/stampa Cham, : Springer, 2023
Descrizione fisica xxi, 556 p. : ill. ; 24 cm
Altri autori (Persone) Coornaert, Michel
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
20F65 - Geometric group theory [MSC 2020]
20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020]
37-XX - Dynamical systems and ergodic theory [MSC 2020]
37B15 - Dynamical aspects of cellular automata [MSC 2020]
68-XX - Computer science [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
68Q80 - Cellular automata (computational aspects) [MSC 2020]
Soggetto non controllato Cellular automaton
Garden of Eden
Grigorchuk Group
Gromov-Weiss Theorem
Group rings
Growth of groups
Linear cellular automaton
Paradoxical Decomposition
Quasi-Isometry
Residually finite Group
Symbolic Dynamics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00278759
Ceccherini-Silberstein, Tullio  
Cham, : Springer, 2023
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Buchi ; editor Dirk Siefkes
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Buchi ; editor Dirk Siefkes
Autore Buchi, J. Richard
Pubbl/distr/stampa New York, : Springer, 1989
Descrizione fisica XXII, 316 p. : ill. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
Soggetto non controllato Alphabet
Automata
Automata theory
Combinatorics
Grammars
Lattices
Logic
Mathematical logic
ISBN 978-14-613-8855-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0054391
Buchi, J. Richard  
New York, : Springer, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; editor Dirk Siefkes
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; editor Dirk Siefkes
Autore Buchi, J. Richard
Pubbl/distr/stampa New York, : Springer, 1989
Descrizione fisica xxii, 316 p. : ill. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
Soggetto non controllato Alphabet
Automata
Automata theory
Combinatorics
Grammars
Lattices
Logic
Mathematical logic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0269192
Buchi, J. Richard  
New York, : Springer, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; editor Dirk Siefkes
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; editor Dirk Siefkes
Autore Buchi, J. Richard
Pubbl/distr/stampa New York, : Springer, 1989
Descrizione fisica xxii, 316 p. : ill. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
Soggetto non controllato Alphabet
Automata
Automata theory
Combinatorics
Grammars
Lattices
Logic
Mathematical logic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00269192
Buchi, J. Richard  
New York, : Springer, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Buchi ; editor Dirk Siefkes
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Buchi ; editor Dirk Siefkes
Autore Buchi, J. Richard
Pubbl/distr/stampa New York, : Springer, 1989
Descrizione fisica XXII, 316 p. : ill. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
Soggetto non controllato Alphabet
Automata
Automata theory
Combinatorics
Grammars
Lattices
Logic
Mathematical logic
ISBN 978-14-613-8855-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00054391
Buchi, J. Richard  
New York, : Springer, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
Autore Holt, Derek F.
Pubbl/distr/stampa Boca Raton [etc.], : Chapman & Hall/CRC, 2005
Descrizione fisica XVI, 514 p. ; 24 cm.
Altri autori (Persone) Eick, Bettina
O'Brien, Eamonn
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
ISBN 15-8488-372-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0063482
Holt, Derek F.  
Boca Raton [etc.], : Chapman & Hall/CRC, 2005
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
Autore Holt, Derek F.
Pubbl/distr/stampa Boca Raton [etc.], : Chapman & Hall/CRC, 2005
Descrizione fisica XVI, 514 p. ; 24 cm
Altri autori (Persone) Eick, Bettina
O'Brien, Eamonn
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
ISBN 15-8488-372-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISOB-VAN0063482
Holt, Derek F.  
Boca Raton [etc.], : Chapman & Hall/CRC, 2005
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
Autore Holt, Derek F.
Pubbl/distr/stampa Boca Raton [etc.], : Chapman & Hall/CRC, 2005
Descrizione fisica XVI, 514 p. ; 24 cm
Altri autori (Persone) Eick, Bettina
O'Brien, Eamonn
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
ISBN 15-8488-372-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0063482
Holt, Derek F.  
Boca Raton [etc.], : Chapman & Hall/CRC, 2005
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien
Autore Holt, Derek F.
Pubbl/distr/stampa Boca Raton [etc.], : Chapman & Hall/CRC, 2005
Descrizione fisica XVI, 514 p. ; 24 cm
Altri autori (Persone) Eick, Bettina
O'Brien, Eamonn
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
ISBN 15-8488-372-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00063482
Holt, Derek F.  
Boca Raton [etc.], : Chapman & Hall/CRC, 2005
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.]
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.]
Pubbl/distr/stampa Boston, : Birkhäuser, 1993
Descrizione fisica XII, 813 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68Qxx - Theory of computing [MSC 2020]
68Q70 - Algebraic theory of languages and automata [MSC 2020]
ISBN 08-17-63690-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0056980
Boston, : Birkhäuser, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui