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.
Algebraic Theories / Ernest G. Manes
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic Theories / Ernest G. Manes
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
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
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
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Applied algebraic dynamics [[electronic resource] /] / by Vladimir Anashin and Andrei Khrennikov
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Elements of Finite Model Theory / Leonid Libkin
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
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