Categories of Boolean Sheaves of Simple Algebras / Yves Diers |
Autore | Diers, Yves |
Pubbl/distr/stampa | Berlin, : Springer, 1986 |
Descrizione fisica | 168 p. ; 24 cm |
Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 18A32 - Factorization systems, substructures, quotient structures, congruences, amalgams [MSC 2020] 16W20 - Automorphisms and endomorphisms [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 18Dxx - Categorical structures [MSC 2020] 18C10 - Theories (e.g., algebraic theories), structure, and semantics [MSC 2020] |
Soggetto non controllato |
Algebra
Sheaves |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263696 |
Diers, Yves | ||
Berlin, : Springer, 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Function algebras on finite sets : a basic course on many valued logic and clone theory / Dietlinde Lau |
Autore | Lau, Dietlinde |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | XIV, 668 p. : ill. ; 24 cm. |
Soggetto topico |
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 08A05 - Structure theory of algebraic structures [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] |
ISBN | 35-403-6022-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0065380 |
Lau, Dietlinde | ||
Berlin, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Function algebras on finite sets : a basic course on many valued logic and clone theory / Dietlinde Lau |
Autore | Lau, Dietlinde |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | XIV, 668 p. : ill. ; 24 cm |
Soggetto topico |
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 08A05 - Structure theory of algebraic structures [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] |
ISBN | 978-35-403-6022-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISOB-VAN0065380 |
Lau, Dietlinde | ||
Berlin, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|
Function algebras on finite sets : a basic course on many valued logic and clone theory / Dietlinde Lau |
Autore | Lau, Dietlinde |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | XIV, 668 p. : ill. ; 24 cm |
Soggetto topico |
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 08A05 - Structure theory of algebraic structures [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] |
ISBN | 978-35-403-6022-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0065380 |
Lau, Dietlinde | ||
Berlin, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Improved Bonferroni inequalities via abstract tubes : inequalities and identities of inclusion-exclusion type / Klaus Dohmen |
Autore | Dohmen, Klaus |
Pubbl/distr/stampa | Berlin, : Springer, 2003 |
Descrizione fisica | VIII, 109 p. : ill. ; 24 cm. |
Soggetto topico |
90Bxx - Operations research and management science [MSC 2020]
60Cxx - Combinatorial probability [MSC 2020] 05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 05A19 - Combinatorial identities, bijective combinatorics [MSC 2020] 05A20 - Combinatorial inequalities [MSC 2020] 60E15 - Inequalities; stochastic orderings [MSC 2020] 05A15 - Exact enumeration problems, generating functions [MSC 2020] 06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 62N05 - Reliability and life testing [MSC 2020] 68M15 - Reliability, testing and fault tolerance of networks and computer systems [MSC 2020] 68R10 - Graph theory (including graph drawing) in computer science [MSC 2020] 90B25 - Reliability, availability, maintenance, inspection in operations research [MSC 2020] 90B15 - Stochastic network models in operations research [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] |
ISBN | 8-3-540-20025-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0056103 |
Dohmen, Klaus | ||
Berlin, : Springer, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Improved Bonferroni inequalities via abstract tubes : inequalities and identities of inclusion-exclusion type / Klaus Dohmen |
Autore | Dohmen, Klaus |
Pubbl/distr/stampa | Berlin, : Springer, 2003 |
Descrizione fisica | VIII, 109 p. : ill. ; 24 cm |
Soggetto topico |
90Bxx - Operations research and management science [MSC 2020]
60Cxx - Combinatorial probability [MSC 2020] 05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 05A19 - Combinatorial identities, bijective combinatorics [MSC 2020] 05A20 - Combinatorial inequalities [MSC 2020] 60E15 - Inequalities; stochastic orderings [MSC 2020] 05A15 - Exact enumeration problems, generating functions [MSC 2020] 06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 62N05 - Reliability and life testing [MSC 2020] 68M15 - Reliability, testing and fault tolerance of networks and computer systems [MSC 2020] 68R10 - Graph theory (including graph drawing) in computer science [MSC 2020] 90B25 - Reliability, availability, maintenance, inspection in operations research [MSC 2020] 90B15 - Stochastic network models in operations research [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] |
Soggetto non controllato |
Abstract tube
Bonferroni inequalities Combinatorics Graph sieve Graph theory Inclusion-exclusion Lattice Matroid Networks |
ISBN | 978-35-402-0025-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0056103 |
Dohmen, Klaus | ||
Berlin, : Springer, 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Lattice theory : special topics and applications 2 |
Edizione | [2016] |
Pubbl/distr/stampa | XV, 616 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 51D20 - Combinatorial geometries and geometric closure systems [MSC 2020] 06B15 - Representation theory of lattices [MSC 2020] 06B35 - Continuous lattices and posets, applications [MSC 2020] 06B10 - Lattice ideals, congruence relations [MSC 2020] 05E45 - Combinatorial aspects of simplicial complexes [MSC 2020] 16E50 - von Neumann regular rings and generalizations (associative algebraic aspects) [MSC 2020] 06D22 - Frames, locales [MSC 2020] 06D10 - Complete distributivity [MSC 2020] 06B05 - Structure theory of lattices [MSC 2020] 06C10 - Semimodular lattices, geometric lattices [MSC 2020] 06C20 - Complemented modular lattices, continuous geometries [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0114920 |
XV, 616 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Lattice theory: special topics and applications 2 / George Grätzer, Friedrich Wehrung editors |
Pubbl/distr/stampa | [Basel], : Birkhäuser, : Springer, 2016 |
Descrizione fisica | XV, 616 p. : ill. ; 24 cm |
Soggetto topico |
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 51D20 - Combinatorial geometries and geometric closure systems [MSC 2020] 06B15 - Representation theory of lattices [MSC 2020] 06B35 - Continuous lattices and posets, applications [MSC 2020] 06B10 - Lattice ideals, congruence relations [MSC 2020] 05E45 - Combinatorial aspects of simplicial complexes [MSC 2020] 16E50 - von Neumann regular rings and generalizations (associative algebraic aspects) [MSC 2020] 06D22 - Frames, locales [MSC 2020] 06D10 - Complete distributivity [MSC 2020] 06B05 - Structure theory of lattices [MSC 2020] 06C10 - Semimodular lattices, geometric lattices [MSC 2020] 06C20 - Complemented modular lattices, continuous geometries [MSC 2020] |
Soggetto non controllato |
Combinatorics
Congruence lattice Finite lattice Lattice theory Topology |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114920 |
[Basel], : Birkhäuser, : Springer, 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Universal algebra and applications in theoretical computer science / Klaus Denecke, Shelly L. Wismath |
Autore | Denecke, Klaus |
Pubbl/distr/stampa | Boca Raton, : Chapman & Hall, 2002 |
Descrizione fisica | XII, 400 p. ; 24 cm. |
Altri autori (Persone) | Wismath, Shelly L. |
Soggetto topico |
68-XX - Computer science [MSC 2020]
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 08Bxx - Varieties [MSC 2020] 08A70 - Applications of universal algebra in computer science [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
ISBN | 15-8488-254-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0024567 |
Denecke, Klaus | ||
Boca Raton, : Chapman & Hall, 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Universal algebra and applications in theoretical computer science / Klaus Denecke, Shelly L. Wismath |
Autore | Denecke, Klaus |
Pubbl/distr/stampa | Boca Raton, : Chapman & Hall, 2002 |
Descrizione fisica | XII, 400 p. ; 24 cm |
Altri autori (Persone) | Wismath, Shelly L. |
Soggetto topico |
68-XX - Computer science [MSC 2020]
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 68Q42 - Grammars and rewriting systems [MSC 2020] 08Bxx - Varieties [MSC 2020] 08A70 - Applications of universal algebra in computer science [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
ISBN | 15-8488-254-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0024567 |
Denecke, Klaus | ||
Boca Raton, : Chapman & Hall, 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|