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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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
![]() |
||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|