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.
Computation with finitely presented groups / Charles C. Sims
Computation with finitely presented groups / Charles C. Sims
Autore Sims, Charles C.
Pubbl/distr/stampa Cambridge, : Cambridge university, 1994
Descrizione fisica XIII, 604 p. ; 24 cm.
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020]
68Q45 - Formal languages and automata [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
20F05 - Generators, relations, and presentations of groups [MSC 2020]
20F19 - Generalizations of solvable and nilpotent groups [MSC 2020]
20F18 - Nilpotent groups [MSC 2020]
20F16 - Solvable groups, supersolvable groups [MSC 2020]
20D15 - Nilpotent groups, $p$-groups [MSC 2020]
ISBN 978-05-214-3213-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0051333
Sims, Charles C.  
Cambridge, : Cambridge university, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computation with finitely presented groups / Charles C. Sims
Computation with finitely presented groups / Charles C. Sims
Autore Sims, Charles C.
Pubbl/distr/stampa Cambridge, : Cambridge university, 1994
Descrizione fisica XIII, 604 p. ; 24 cm
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
68W30 - Symbolic computation and algebraic computation [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020]
68Q45 - Formal languages and automata [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
20F05 - Generators, relations, and presentations of groups [MSC 2020]
20F19 - Generalizations of solvable and nilpotent groups [MSC 2020]
20F18 - Nilpotent groups [MSC 2020]
20F16 - Solvable groups, supersolvable groups [MSC 2020]
20D15 - Nilpotent groups, $p$-groups [MSC 2020]
ISBN 978-05-214-3213-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0051333
Sims, Charles C.  
Cambridge, : Cambridge university, 1994
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
Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio
Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio
Autore De Luca, Aldo
Pubbl/distr/stampa Berlin, : Springer, 1999
Descrizione fisica X, 240 p. : ill. ; 25 cm.
Soggetto topico 68-XX - Computer science [MSC 2020]
68R15 - Combinatorics on words [MSC 2020]
68Q45 - Formal languages and automata [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
ISBN 35-406-3771-0
978-35-406-3771-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0054253
De Luca, Aldo  
Berlin, : Springer, 1999
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio
Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio
Autore De Luca, Aldo
Pubbl/distr/stampa Berlin, : Springer, 1999
Descrizione fisica X, 240 p. : ill. ; 25 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
68R15 - Combinatorics on words [MSC 2020]
68Q45 - Formal languages and automata [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
ISBN 35-406-3771-0
978-35-406-3771-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0054253
De Luca, Aldo  
Berlin, : Springer, 1999
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
Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer
Term rewriting systems : Terese / edited by Marc Bezem, Jan Willem Klop, Roel de Vrijer
Pubbl/distr/stampa Cambridge, : Cambridge University, 2003
Descrizione fisica XXII, 884 p. : ill. ; 23 cm.
Soggetto topico 68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020]
ISBN 978-05-213-9115-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050057
Cambridge, : Cambridge University, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui