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.
2: Advanced Topics in Relation Algebras / Steven Givant
| 2: Advanced Topics in Relation Algebras / Steven Givant |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | XIX, 605 p. : ill. ; 24 cm |
| Soggetto topico |
03Cxx - Model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
| Soggetto non controllato |
Atom structures
Canonical extensions Completion extensions Relation algebras Representations Varieties of relation algebras |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123808 |
Givant, Steven R.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Advanced Topics in Relation Algebras / Steven Givant
| 2: Advanced Topics in Relation Algebras / Steven Givant |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | XIX, 605 p. : ill. ; 24 cm |
| Soggetto topico |
03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020]
03B35 - Mechanization of proofs and logical operations [MSC 2020] 03Cxx - Model theory [MSC 2020] 03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] |
| Soggetto non controllato |
Atom structures
Canonical extensions Completion extensions Relation algebras Representations Varieties of relation algebras |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00123808 |
|
Givant, Steven R.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Simple Relation Algebras / Steven Givant, Hajnal Andréka
| Simple Relation Algebras / Steven Givant, Hajnal Andréka |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxiv, 622 p. : ill. ; 24 cm |
| Altri autori (Persone) | Andréka, Hajnal |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] |
| Soggetto non controllato |
Insertion semiproducts
Quotient algebras Quotient semiproducts Relation algebras Semipowers Semiproducts Simple closures Simple relation algebras |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124328 |
|
Givant, Steven R.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Simple Relation Algebras / Steven Givant, Hajnal Andréka
| Simple Relation Algebras / Steven Givant, Hajnal Andréka |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxiv, 622 p. : ill. ; 24 cm |
| Altri autori (Persone) | Andréka, Hajnal |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 08A30 - Subalgebras, congruence relations [MSC 2020] 08Axx - Algebraic structures [MSC 2020] |
| Soggetto non controllato |
Insertion semiproducts
Quotient algebras Quotient semiproducts Relation algebras Semipowers Semiproducts Simple closures Simple relation algebras |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124328 |
|
Givant, Steven R.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Vol. 1: Introduction to Relation Algebras / Steven Givant
| Vol. 1: Introduction to Relation Algebras / Steven Givant |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxxii, 572 p. : ill. ; 24 cm |
| Soggetto topico |
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
| Soggetto non controllato |
Alfred Tarski relation algebras
Arithmetic of relation algebras Constructing new relation algebras Elementary theory of binary relations Equational language of relation algebras Homomorphisms Relation algebras Relativizations of relation algebras Special elements in relation algebras Steven Givant relation algebras Subalgebras of relation algebras |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123441 |
|
Givant, Steven R.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Vol. 1: Introduction to Relation Algebras / Steven Givant
| Vol. 1: Introduction to Relation Algebras / Steven Givant |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxxii, 572 p. : ill. ; 24 cm |
| Soggetto topico |
03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020]
03B35 - Mechanization of proofs and logical operations [MSC 2020] 03C05 - Equational classes, universal algebra in model theory [MSC 2020] 03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] |
| Soggetto non controllato |
Alfred Tarski relation algebras
Arithmetic of relation algebras Constructing new relation algebras Elementary theory of binary relations Equational language of relation algebras Homomorphisms Relation algebras Relativizations of relation algebras Special elements in relation algebras Steven Givant relation algebras Subalgebras of relation algebras |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00123441 |
|
Givant, Steven R.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||