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.
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 | ||
| ||
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 |
20Exx - Structure and classification of infinite or finite groups [MSC 2020]
20F67 - Hyperbolic groups and nonpositively curved groups [MSC 2020] 20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020] 68Q45 - Formal languages and automata [MSC 2020] |
| Soggetto non controllato |
Automata
Bass-Serre Compactifications 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-VAN00124250 |
| Cham, : Birkhäuser, 2017 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| ||
Autowave Processes in Kinetic Systems : Spatial and Temporal Self-Organisation in Physics, Chemistry, Biology, and Medicine / V. A. Vasiliev ... [et al.]
| Autowave Processes in Kinetic Systems : Spatial and Temporal Self-Organisation in Physics, Chemistry, Biology, and Medicine / V. A. Vasiliev ... [et al.] |
| Pubbl/distr/stampa | Dordrecht, : D. Reidel, 1987 |
| Descrizione fisica | vi, 262 p. : ill. ; 24 cm |
| Soggetto topico |
35-XX - Partial differential equations [MSC 2020]
35B05 - Oscillation, zeros of solutions, mean value theorems, etc. in context of PDEs [MSC 2020] 35B40 - Asymptotic behavior of solutions to PDEs [MSC 2020] 35K55 - Nonlinear parabolic equations [MSC 2020] 68Q45 - Formal languages and automata [MSC 2020] 80A25 - Combustion [MSC 2020] 80A30 - Chemical kinetics in thermodynamics and heat transfer [MSC 2020] |
| Soggetto non controllato |
Bifurcations
Biology Differential equations Stability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00266394 |
| Dordrecht, : D. Reidel, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
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 | ||
| ||
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]
20D15 - Nilpotent groups, $p$-groups [MSC 2020] 20F05 - Generators, relations, and presentations of groups [MSC 2020] 20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 20F16 - Solvable groups, supersolvable groups [MSC 2020] 20F18 - Nilpotent groups [MSC 2020] 20F19 - Generalizations of solvable and nilpotent groups [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 68Q45 - Formal languages and automata [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| ISBN | 978-05-214-3213-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00051333 |
|
Sims, Charles C.
|
||
| Cambridge, : Cambridge university, 1994 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| ||
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-VAN00090790 |
|
Trautwein, Marten Henrik
|
||
| Amsterdam, : Institute for logic, language and computation, 1995 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| ||
