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.
Algorithmic and Geometric Topics Around Free Groups and Automorphisms / Javier Aramayona ... [et al.] ; Juan González-Meneses, Martin Lustig, Enric Ventura editor
Algorithmic and Geometric Topics Around Free Groups and Automorphisms / Javier Aramayona ... [et al.] ; Juan González-Meneses, Martin Lustig, Enric Ventura editor
Pubbl/distr/stampa Cham, : Birkhäuser, 2017
Descrizione fisica IX, 149 p. : ill. ; 24 cm
Soggetto topico 68Q45 - Formal languages and automata [MSC 2020]
20Exx - Structure and classification of infinite or finite groups [MSC 2020]
20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020]
20F67 - Hyperbolic groups and nonpositively curved groups [MSC 2020]
Soggetto non controllato Automata
Bass-Serre
Compactification
Endomorphisms
Geodesic current
Hyperbolicity
Languages
Teichmüller space
Treewidth
Virtually-free groups
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0124250
Cham, : Birkhäuser, 2017
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algorithmic and Geometric Topics Around Free Groups and Automorphisms / Javier Aramayona ... [et al.] ; Juan González-Meneses, Martin Lustig, Enric Ventura editor
Algorithmic and Geometric Topics Around Free Groups and Automorphisms / Javier Aramayona ... [et al.] ; Juan González-Meneses, Martin Lustig, Enric Ventura editor
Edizione [Cham : Birkhäuser, 2017]
Pubbl/distr/stampa IX, 149 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 68Q45 - Formal languages and automata [MSC 2020]
20Exx - Structure and classification of infinite or finite groups [MSC 2020]
20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020]
20F67 - Hyperbolic groups and nonpositively curved groups [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0124250
IX, 149 p., : ill. ; 24 cm
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-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
Computational pitfalls in tractable grammatical formalisms : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 21 september 1995, te 10:00 uur / Marten Henrik Trautwein
Computational pitfalls in tractable grammatical formalisms : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 21 september 1995, te 10:00 uur / Marten Henrik Trautwein
Autore Trautwein, Marten Henrik
Pubbl/distr/stampa Amsterdam, : Institute for logic, language and computation, 1995
Descrizione fisica 196 p. ; 24 cm
Soggetto topico 68Q45 - Formal languages and automata [MSC 2020]
ISBN 90-7479-534-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione dut
eng
Record Nr. UNICAMPANIA-VAN0090790
Trautwein, Marten Henrik  
Amsterdam, : Institute for logic, language and computation, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computational pitfalls in tractable grammatical formalisms : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 21 september 1995, te 10:00 uur / Marten Henrik Trautwein
Computational pitfalls in tractable grammatical formalisms : academisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op donderdag 21 september 1995, te 10:00 uur / Marten Henrik Trautwein
Autore Trautwein, Marten Henrik
Edizione [Amsterdam : Institute for logic]
Descrizione fisica Universiteit van Amsterdam, Faculteit Wiskunde en Informatica. - Tesi di dottorato.
Soggetto topico 68Q45 - Formal languages and automata [MSC 2020]
ISBN 90-7479-534-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione dut
eng
Record Nr. UNICAMPANIA-SUN0090790
Trautwein, Marten Henrik  
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
Further algebra and applications / P. M. Cohn
Further algebra and applications / P. M. Cohn
Autore Cohn, Paul M.
Pubbl/distr/stampa London, : Springer, 2003
Descrizione fisica XI, 451 p. : ill. ; 24 cm.
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
16-XX - Associative rings and algebras [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020]
12-XX - Field theory and polynomials [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
68Q45 - Formal languages and automata [MSC 2020]
94Bxx - Theory of error-correcting codes and error-detecting codes [MSC 2020]
ISBN 18-523-3667-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0057256
Cohn, Paul M.  
London, : Springer, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Further algebra and applications / P. M. Cohn
Further algebra and applications / P. M. Cohn
Autore Cohn, Paul M.
Pubbl/distr/stampa London, : Springer, 2003
Descrizione fisica XI, 451 p. : ill. ; 24 cm
Soggetto topico 20-XX - Group theory and generalizations [MSC 2020]
16-XX - Associative rings and algebras [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020]
12-XX - Field theory and polynomials [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
68Q45 - Formal languages and automata [MSC 2020]
94Bxx - Theory of error-correcting codes and error-detecting codes [MSC 2020]
ISBN 18-523-3667-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0057256
Cohn, Paul M.  
London, : Springer, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui