Algebraic Theories / Ernest G. Manes |
Autore | Manes, Ernest G. |
Pubbl/distr/stampa | New York, : Springer, 1976 |
Descrizione fisica | x, 356 p. ; 24 cm |
Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] 18C10 - Theories (e.g., algebraic theories), structure, and semantics [MSC 2020] |
Soggetto non controllato |
Algebra
Area Automata Automata theory Category Theory Colimit Equations Groups Interactions Mathematics Natural Optical Character Recognition Scope |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268005 |
Manes, Ernest G.
![]() |
||
New York, : Springer, 1976 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Algebraic Theories / Ernest G. Manes |
Autore | Manes, Ernest G. |
Pubbl/distr/stampa | New York, : Springer, 1976 |
Descrizione fisica | x, 356 p. ; 24 cm |
Soggetto topico |
08Axx - Algebraic structures [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 18C10 - Theories (e.g., algebraic theories), structure, and semantics [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] |
Soggetto non controllato |
Algebra
Area Automata Automata theory Category Theory Colimit Equations Groups Interactions Mathematics Natural Optical Character Recognition Scope |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00268005 |
Manes, Ernest G.
![]() |
||
New York, : Springer, 1976 | ||
![]() | ||
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 |
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 |
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 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-VAN00124250 |
Cham, : Birkhäuser, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Applied algebraic dynamics [[electronic resource] /] / by Vladimir Anashin and Andrei Khrennikov |
Autore | Anashin Vladimir |
Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, c2009 |
Descrizione fisica | 1 online resource (557 p.) |
Disciplina | 512 |
Altri autori (Persone) | KhrennikovA. I͡U <1958-> (Andreĭ I͡Urʹevich) |
Collana | De Gruyter expositions in mathematics |
Soggetto topico |
Arithmetical algebraic geometry
Differentiable dynamical systems |
Soggetto non controllato |
Algebraic Dynamical Systems
Automata Computer Sciences Cryptography Ergodicity Genetics Latin Squares Measure-Preserving Transformations Profinite Groups Pseudorandom Generators Psychology Quantum Theory Stream Ciphers p-adic Numbers p-adic Probability |
ISBN |
1-282-18794-5
9786612187940 3-11-020301-4 |
Classificazione | SK 810 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Chapter 1. Algebraic and number-theoretic background -- I. The Commutative Non-Archimedean Dynamics -- Chapter 2. Dynamics on algebraic structures -- Chapter 3. p-adic analysis -- Chapter 4. p-adic ergodic theory -- Chapter 5. Asymptotic distribution of cycles -- II. The Non-Commutative Non-Archimedean Dynamics -- Chapter 6. Basics of polynomial dynamics on groups -- Chapter 7. Ergodic polynomials over groups with operators -- III. Applications -- Chapter 8. Automata, computers, combinatorics -- Chapter 9. Pseudorandom numbers -- Chapter 10. Stream ciphers -- Chapter 11. Structure of trajectories -- Chapter 12. p-adic probability theory -- Chapter 13. p-adic valued quantization -- Chapter 14. m-adic modeling in cognitive science and psychology -- Chapter 15. Neuronal hierarchy behind the ultrametric mental space -- Chapter 16. Gene expression from dynamics in the 2-adic space -- Chapter 17. Genetic code on the diadic plane -- Backmatter |
Record Nr. | UNINA-9910778600903321 |
Anashin Vladimir
![]() |
||
Berlin ; ; New York, : Walter De Gruyter, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg |
Autore | Elgot, Calvin C. |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
Descrizione fisica | xxiv, 460 p. : ill. ; 24 cm |
Soggetto topico |
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020]
62-XX - Statistics [MSC 2020] 01A65 - Contemporary [MSC 2020] 62M07 - Non-Markovian processes: hypothesis testing [MSC 2020] |
Soggetto non controllato |
Algebra
Algorithms Automata Computer Science Equations Programming programming languages |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268538 |
Elgot, Calvin C.
![]() |
||
New York, : Springer-Verlag, 1982 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg |
Autore | Elgot, Calvin C. |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
Descrizione fisica | xxiv, 460 p. : ill. ; 24 cm |
Soggetto topico |
01A65 - Contemporary [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 62-XX - Statistics [MSC 2020] 62M07 - Non-Markovian processes: hypothesis testing [MSC 2020] |
Soggetto non controllato |
Algebra
Algorithms Automata Computer Science Equations Programming programming languages |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00268538 |
Elgot, Calvin C.
![]() |
||
New York, : Springer-Verlag, 1982 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Elements of Finite Model Theory / Leonid Libkin |
Autore | Libkin, Leonid |
Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2004 |
Descrizione fisica | xiv, 318 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020] 68-XX - Computer science [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] 68Q19 - Descriptive complexity and finite models [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Automata Complexity Complexity theory Formal language Logic Model theory Variable |
ISBN | 978-35-402-1202-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00283787 |
Libkin, Leonid
![]() |
||
Berlin ; Heidelberg, : Springer, 2004 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|