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.
Categories of Boolean Sheaves of Simple Algebras / Yves Diers
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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 | ||
| ||
Soggetto topico
-
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020]
(10)
- 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] (5)
- 08Axx - Algebraic structures [MSC 2020] (5)
- 05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] (4)
- 03B50 - Many-valued logic [MSC 2020] (3)