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.
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / / Till Mossakowski, Ugo Montanari, Magne Haveraaen (editors)
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / / Till Mossakowski, Ugo Montanari, Magne Haveraaen (editors)
Edizione [1st ed. 2007.]
Pubbl/distr/stampa Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007]
Descrizione fisica 1 online resource (XI, 463 p.)
Disciplina 004.0151
Collana Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Soggetto topico Computer science - Mathematics
Algebra
ISBN 3-540-73859-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Regular and Algebraic Words and Ordinals -- Logical Semantics of Types for Concurrency -- Deriving Bisimulation Congruences with Borrowed Contexts -- Symmetry and Concurrency -- Contributed Papers -- Ready to Preorder: Get Your BCCSP Axiomatization for Free! -- Impossibility Results for the Equational Theory of Timed CCS -- Conceptual Data Modeling with Constraints in Maude -- Datatypes in Memory -- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets -- Free Modal Algebras: A Coalgebraic Perspective -- Coalgebraic Epistemic Update Without Change of Model -- The Maude Formal Tool Environment -- Bifinite Chu Spaces -- Structured Co-spans: An Algebra of Interaction Protocols -- Graphical Encoding of a Spatial Logic for the ?-Calculus -- Higher Dimensional Trees, Algebraically -- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines -- Parametric (Co)Iteration vs. Primitive Direcursion -- Bisimulation for Neighbourhood Structures -- Algebraic Models of Simultaneous Multithreaded and Multi-core Processors -- Quasitoposes, Quasiadhesive Categories and Artin Glueing -- Applications of Metric Coinduction -- The Goldblatt-Thomason Theorem for Coalgebras -- Specification-Based Testing for CoCasl’s Modal Specifications -- CIRC: A Circular Coinductive Prover -- Observing Distributed Computation. A Dynamic-Epistemic Approach -- Nabla Algebras and Chu Spaces -- An Institutional Version of Gödel’s Completeness Theorem -- Coalgebraic Foundations of Linear Systems -- Bootstrapping Types and Cotypes in HasCASL.
Record Nr. UNINA-9910483961603321
Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / / Till Mossakowski, Ugo Montanari, Magne Haveraaen (editors)
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / / Till Mossakowski, Ugo Montanari, Magne Haveraaen (editors)
Edizione [1st ed. 2007.]
Pubbl/distr/stampa Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007]
Descrizione fisica 1 online resource (XI, 463 p.)
Disciplina 004.0151
Collana Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Soggetto topico Computer science - Mathematics
Algebra
ISBN 3-540-73859-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Regular and Algebraic Words and Ordinals -- Logical Semantics of Types for Concurrency -- Deriving Bisimulation Congruences with Borrowed Contexts -- Symmetry and Concurrency -- Contributed Papers -- Ready to Preorder: Get Your BCCSP Axiomatization for Free! -- Impossibility Results for the Equational Theory of Timed CCS -- Conceptual Data Modeling with Constraints in Maude -- Datatypes in Memory -- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets -- Free Modal Algebras: A Coalgebraic Perspective -- Coalgebraic Epistemic Update Without Change of Model -- The Maude Formal Tool Environment -- Bifinite Chu Spaces -- Structured Co-spans: An Algebra of Interaction Protocols -- Graphical Encoding of a Spatial Logic for the ?-Calculus -- Higher Dimensional Trees, Algebraically -- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines -- Parametric (Co)Iteration vs. Primitive Direcursion -- Bisimulation for Neighbourhood Structures -- Algebraic Models of Simultaneous Multithreaded and Multi-core Processors -- Quasitoposes, Quasiadhesive Categories and Artin Glueing -- Applications of Metric Coinduction -- The Goldblatt-Thomason Theorem for Coalgebras -- Specification-Based Testing for CoCasl’s Modal Specifications -- CIRC: A Circular Coinductive Prover -- Observing Distributed Computation. A Dynamic-Epistemic Approach -- Nabla Algebras and Chu Spaces -- An Institutional Version of Gödel’s Completeness Theorem -- Coalgebraic Foundations of Linear Systems -- Bootstrapping Types and Cotypes in HasCASL.
Record Nr. UNISA-996465409203316
Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors
Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 2016
Descrizione fisica 1 online resource (242 pages) : illustrations
Disciplina 512.0285
Collana Contemporary Mathematics
Soggetto topico Logic, Symbolic and mathematical
Algebra
Computer science - Mathematics
Soggetto genere / forma Electronic books.
ISBN 1-4704-3587-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910480731903321
Providence, Rhode Island : , : American Mathematical Society, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors
Algebra and computer science : Joint AMS-EMS-SPM Meeting Algebra and Computer Science June 10-13, 2015: Porto, Portugal : Joint Mathematics Meetings Groups, Algorithms, and Cryptography January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting Applications of Algebra to Cryptography June 16-19, 2014: Tel-Aviv, Israel / / Delaram Kahrobaei, Bren Cavallo, David Garber, editors
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 2016
Descrizione fisica 1 online resource (242 pages) : illustrations
Disciplina 512.0285
Collana Contemporary Mathematics
Soggetto topico Logic, Symbolic and mathematical
Algebra
Computer science - Mathematics
ISBN 1-4704-3587-X
Classificazione 20-XX68-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Generic properties of subgroups of free groups and finite presentations / Frédérique Bassino, Cyril Nicaud, and Pascal Weil -- A new multi-server scheme for private information retrieval / Chi Sing Chum and Xiaowen Zhang -- On secret sharing protocols / Chi Sing Chum [and 4 others] -- A verifiable secret sharing scheme using non-abelian groups / Maggie E. Habeer -- Non-associative public-key cryptography / Arkadius Kalka -- Non-associative key establishment protocols and their implementation / Arkadius Kalka and Mina Teicher -- Knapsack and subset sum problems in nilpoint, polycyclic, and co-context-free groups / Daniel König, Markus Lohrey, and George Zetzsche -- On the Tits alternative for a class of finitely presented groups with a special focus on symbolic computations / Anja I.S. Moldenhauer, Gerhard Rosenberger, and Kristina Rosenthal -- Geometry of the conjugacy problem in lamplighter groups / Andew Salle -- A logspace solution to the word and conjugacy problem of generalized Baumslag-Solitar groups / Armin Weiss -- Cryptographic hash functions from sequences of lifted Paley graphs / Serena Yuan.
Record Nr. UNINA-9910533717803321
Providence, Rhode Island : , : American Mathematical Society, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and Galois Theories [[electronic resource] /] / by Régine Douady, Adrien Douady
Algebra and Galois Theories [[electronic resource] /] / by Régine Douady, Adrien Douady
Autore Douady Régine
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XXIII, 462 p. 33 illus., 6 illus. in color.)
Disciplina 512.32
Soggetto topico Algebra
ISBN 3-030-32796-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Chapter 1. Zorn’s Lemma -- Chapter 2. Categories and Functors -- Chapter 3. Linear Algebra -- Chapter 4. Coverings -- Chapter 5. Galois Theory -- Chapter 6. Riemann Surfaces -- Chapter 7. Dessins d’Enfants -- Bibliography -- Index of Notation.
Record Nr. UNISA-996418278503316
Douady Régine  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebra and Galois Theories [[electronic resource] /] / by Régine Douady, Adrien Douady
Algebra and Galois Theories [[electronic resource] /] / by Régine Douady, Adrien Douady
Autore Douady Régine
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XXIII, 462 p. 33 illus., 6 illus. in color.)
Disciplina 512.32
Soggetto topico Algebra
ISBN 3-030-32796-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Chapter 1. Zorn’s Lemma -- Chapter 2. Categories and Functors -- Chapter 3. Linear Algebra -- Chapter 4. Coverings -- Chapter 5. Galois Theory -- Chapter 6. Riemann Surfaces -- Chapter 7. Dessins d’Enfants -- Bibliography -- Index of Notation.
Record Nr. UNINA-9910484160203321
Douady Régine  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and its Applications [[electronic resource] ] : ICAA, Aligarh, India, December 2014 / / edited by Syed Tariq Rizvi, Asma Ali, Vincenzo De Filippis
Algebra and its Applications [[electronic resource] ] : ICAA, Aligarh, India, December 2014 / / edited by Syed Tariq Rizvi, Asma Ali, Vincenzo De Filippis
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XVI, 430 p.)
Disciplina 512
Collana Springer Proceedings in Mathematics & Statistics
Soggetto topico Algebra
Sequences (Mathematics)
Graph theory
Sequences, Series, Summability
Graph Theory
ISBN 981-10-1651-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Jae Koel Park and S. M. Tariq Rizvi: On some Classes of Module Hulls -- Akihiro Yamamura: Spined Product Decompositions of Orthocryptogroups -- Vincenzo de Filippis: Generalized Skew Derivations and g-Lie Derivations of Prime Rings -- Ashish Kumar Srivastava: Additive Representations of Elements in Rings: A Survey -- Shuliang Huang: Notes on Commutativity of Prime Rings -- Shervin Sahebi and V. Rahmani: Generalized Derivations on Rings and Banach Algebras -- Ravi A. Rao: A study of Suslin Matrices: Their Properties and Uses -- Shreedevi K. Masuti, Parangama Sarkar and J. K. Verma: Variation on the Grothendieck-Serre Formula for Hilbert Functions and Their Applications -- Tony Joseph Puthenpurakal: De Rham Cohomology of Local Cohomology Modules -- Manoj Kumar Yadav: Central Quotient Versus Commutator Subgroup of Groups -- Tamilselvi, A. Vidhya and B. Kethesan: Robinson-Schensted Correspondence for the Walled Brauer Algebras and the Walled Signed Brauer algebras -- M.K. Sen: Ӷ- Semigroups: A Survey -- N. K. Thakare, B. N. Waphare and AvinashPatil: Comparability Axioms in Orthomodular Lattices and Rings with Involution -- A. R. Rajan: Structure theory of regular Semigroups using Categories -- P. G. Romeo and Akhila R.: Biorder Ideals and Regular Rings -- Asma Ali and Farhat Ali: Product of Generalized Semiderivation in Prime Near Rings -- Selvaraj and R. Saravanan: n-Strongly Gorenstein Projective and Injective Complexes -- Basudeb Dhara: Generalized Derivations with Nilpotent Values on Multilinear Polynomials in Prime Rings -- Manoj Kumar Patel: Properties of Semi-Projective Modules and Their Endomorphism Rings -- R. P. Sharma: L Labelling of Sets Under the Actions of Sn and An -- Anil Khainar and B. N. Waphare: Zero-Divisor Graphs of Laurent Polynomials and Laurent Power Series -- Basudeb Dhara, Asma Ali and Shahoor Khan: Pair of Generalized Derivations and Lie Ideals in Prime Rings -- T. Tamizh Chelvam, T. Asir and K. Selvakumar: On Domination in Graphs from Commutative Rings: A survey -- A. K. Chaturvedi: On Iso-Retractable Modules and Rings -- Azeef Muhammed P. A.: Normal Categories from Completely Simple Semigroups -- N. M. Khan and Mohd. Aasim Khan: Ordered Semigroups Characterize in Terms of Intuitionstic Fuzzy Ideals -- R. D. Giri: On a Problem of Satyanarayana Regarding the Recognizability of Codes.
Record Nr. UNINA-9910151784303321
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and its applications : International Workshop on Algebra and Its Applications, March 22-26, 2005, Ohio University, Athens, OH / / Dinh V. Huynh, S.K. Jain, S.R. López-Permouth, editors ; with the cooperation of Pramod Kanwar
Algebra and its applications : International Workshop on Algebra and Its Applications, March 22-26, 2005, Ohio University, Athens, OH / / Dinh V. Huynh, S.K. Jain, S.R. López-Permouth, editors ; with the cooperation of Pramod Kanwar
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , [2006]
Descrizione fisica 1 online resource (330 p.)
Disciplina 512
Collana Contemporary mathematics
Soggetto topico Algebra
Soggetto genere / forma Electronic books.
ISBN 0-8218-8098-5
0-8218-3842-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""On Countably Σ-CS Modules""; ""Moduli Spaces of Graded Representations of Finite Dimensional Algebras""; ""An Essential Extension with Nonisomorphic Ring Structures""; ""Supplemented Principal Ideals""; ""Some Properties of Rings Reflected in Infinite Matrix Rings""; ""Slender Monoids""; ""Multivariable Public Key Cryptosystems""; ""Repeated-Root Constacyclic Codes of Length 2s over Z2a""; ""Contravariant Finiteness and Pure Semisimple Rings""; ""A Characterization of Additive Categories with the Krull-Schmidt Property""
""A Dixmier-Moeglin Equivalence for Poisson Algebras with Torus Actions""""Pure-Injectivity in the Category of Flat Modules""; ""Eigenvalues, Multiplicities and Graphs""; ""Closure of Matrix Classes under Schur Complementation, Including Singularities""; ""Sums of Alternating Matrices and Invertible Matrices""; ""Internal Exchange Rings""; ""Representation of Ï?-Complete MV-Algebras and their Associated Dedekind Ï?-Complete l-Groups""; ""Noncommutative Linear Algebra""; ""The Moduli Space of Three-Dimensional Lie Algebras""; ""Questions Related to Koethe's Nil Ideal Problem""
""Bounds on the Pseudo-Weight of Minimal Pseudo-Codewords of Projective Geometry Codes""""On Galois Extensions with Automorphism Group as Galois Group""; ""A *-Litoff Theorem for Associative Pairs""; ""Open Problems""
Record Nr. UNINA-9910480039803321
Providence, Rhode Island : , : American Mathematical Society, , [2006]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and its applications : International Workshop on Algebra and Its Applications, March 22-26, 2005, Ohio University, Athens, OH / / Dinh V. Huynh, S.K. Jain, S.R. López-Permouth, editors ; with the cooperation of Pramod Kanwar
Algebra and its applications : International Workshop on Algebra and Its Applications, March 22-26, 2005, Ohio University, Athens, OH / / Dinh V. Huynh, S.K. Jain, S.R. López-Permouth, editors ; with the cooperation of Pramod Kanwar
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , [2006]
Descrizione fisica 1 online resource (330 p.)
Disciplina 512
Collana Contemporary mathematics
Soggetto topico Algebra
ISBN 0-8218-8098-5
0-8218-3842-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""On Countably Σ-CS Modules""; ""Moduli Spaces of Graded Representations of Finite Dimensional Algebras""; ""An Essential Extension with Nonisomorphic Ring Structures""; ""Supplemented Principal Ideals""; ""Some Properties of Rings Reflected in Infinite Matrix Rings""; ""Slender Monoids""; ""Multivariable Public Key Cryptosystems""; ""Repeated-Root Constacyclic Codes of Length 2s over Z2a""; ""Contravariant Finiteness and Pure Semisimple Rings""; ""A Characterization of Additive Categories with the Krull-Schmidt Property""
""A Dixmier-Moeglin Equivalence for Poisson Algebras with Torus Actions""""Pure-Injectivity in the Category of Flat Modules""; ""Eigenvalues, Multiplicities and Graphs""; ""Closure of Matrix Classes under Schur Complementation, Including Singularities""; ""Sums of Alternating Matrices and Invertible Matrices""; ""Internal Exchange Rings""; ""Representation of Ï?-Complete MV-Algebras and their Associated Dedekind Ï?-Complete l-Groups""; ""Noncommutative Linear Algebra""; ""The Moduli Space of Three-Dimensional Lie Algebras""; ""Questions Related to Koethe's Nil Ideal Problem""
""Bounds on the Pseudo-Weight of Minimal Pseudo-Codewords of Projective Geometry Codes""""On Galois Extensions with Automorphism Group as Galois Group""; ""A *-Litoff Theorem for Associative Pairs""; ""Open Problems""
Record Nr. UNINA-9910531329303321
Providence, Rhode Island : , : American Mathematical Society, , [2006]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and its applications : International conference Algebra and its Applications, March 25-28, 1999, Ohio University, Athens / / D.V. Huynh, S.K. Jain, S.R. López-Permouth, editors
Algebra and its applications : International conference Algebra and its Applications, March 25-28, 1999, Ohio University, Athens / / D.V. Huynh, S.K. Jain, S.R. López-Permouth, editors
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , [2000]
Descrizione fisica 1 online resource (586 p.)
Disciplina 512
Collana Contemporary mathematics
Soggetto topico Algebra
Soggetto genere / forma Electronic books.
ISBN 0-8218-7849-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Contents""; ""Preface""; ""Isomorphisms between infinite matrix rings: A survey""; ""The double infinite chain condition and generalized deviations of posets and modules""; ""Minors of some matrices associated with a tree""; ""On quasi-Baer rings""; ""Functional identities: A survey""; ""The Grothendieck group and the extensional structure of Noetherian module categories""; ""Some non-classical finiteness conditions of modules""; ""Free modules obtained by means of infinite direct products""; ""Gorenstein injective, projective, and flat dimensions over Cohen-Macaulay rings""
""On Artinian modules over hyperfinite groups""""Principal one-sided ideals in Ore polynomial rings""; ""Modules over hereditary Noetherian prime rings (Survey)""; ""Prime elements of birational extensions of a Noetherian UFD""; ""On the splitting of the dual Goldie torsion theory""; ""The Soules approach to the inverse eigenvalue problem for nonnegative symmetric matrices of order n â?? 5""; ""Harmonic analysis on finite rings and applications""; ""A lattice invariant for modules, II""; ""Modules having *-radical""; ""The ""generalized class group"" of a left Noetherian ring""
""Indecomposable decompositions of N-â??-CS-modules""""The multiplicative group of a division algebra of degree 5 and Wedderburn's factorization theorem""; ""Modules which are self-injective relative to closed submodules""; ""On r-fold complete weight enumerators of r linear codes""; ""Levels of quotient rings of rings of continuous functions""; ""Commutative domains whose finitely generated projective modules have an injectivity property""; ""Decompositions of modules and comodules""; ""Density for polyform modules""
Record Nr. UNINA-9910480529403321
Providence, Rhode Island : , : American Mathematical Society, , [2000]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...