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 | ||
|
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 |
03B50 - Many-valued logic [MSC 2020]
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020] 08A05 - Structure theory of algebraic structures [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 08Axx - Algebraic structures [MSC 2020] |
ISBN | 978-35-403-6022-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00065380 |
Lau, Dietlinde | ||
Berlin, : Springer, 2006 | ||
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 | ||
|
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 |
06A15 - Galois correspondences, closure operators (in relation to ordered sets) [MSC 2020]
08-XX - General algebraic systems [MSC 2020] 08A40 - Operations, polynomials in algebraic structures, primal algebras [MSC 2020] 08A70 - Applications of universal algebra in computer science [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 08Bxx - Varieties [MSC 2020] 68-XX - Computer science [MSC 2020] 68Q42 - Grammars and rewriting systems [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-VAN00024567 |
Denecke, Klaus | ||
Boca Raton, : Chapman & Hall, 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|