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. |
| Edizione | [Cham : Springer, 2017] |
| Pubbl/distr/stampa | XIX, 605 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| 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] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0123808 |
|
Givant, Steven R.
|
||
| XIX, 605 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors
| Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors |
| Pubbl/distr/stampa | [Basel], : Birkhäuser, : Springer, 2016 |
| Descrizione fisica | XII, 425 p. : ill. ; 24 cm |
| Soggetto topico |
03F50 - Metamathematics of constructive systems [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
| Soggetto non controllato |
Constructive mathematics
Ordinal Analysis Proof Theory Proof search Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114364 |
| [Basel], : Birkhäuser, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors
| Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors |
| Edizione | [[Basel] : Birkhäuser : Springer, 2016] |
| Pubbl/distr/stampa | XII, 425 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03F50 - Metamathematics of constructive systems [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0114364 |
| XII, 425 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Gröbner Cover / Antonio Montes
| The Gröbner Cover / Antonio Montes |
| Autore | Montes, Antonio |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xiv, 276 p. : ill. ; 24 cm |
| Soggetto topico |
13-XX - Commutative algebra [MSC 2020]
13A15 - Ideals and multiplicative ideal theory in commutative rings [MSC 2020] 13F20 - Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020] 13B25 - Polynomials over commutative rings [MSC 2020] 11C08 - Polynomials in number theory [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 13Pxx - Computational aspects and applications [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
| Soggetto non controllato |
Canonical algorithms
Comprehensive Gröbner systems Constructible sets Gröbner Cover Locally closed sets Parameters Parametric discussion Parametric systems Singular library |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0125031 |
|
Montes, Antonio
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Gröbner Cover / Antonio Montes
| The Gröbner Cover / Antonio Montes |
| Autore | Montes, Antonio |
| Edizione | [Cham : Springer, 2018] |
| Pubbl/distr/stampa | xiv, 276 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
13-XX - Commutative algebra [MSC 2020]
13A15 - Ideals and multiplicative ideal theory in commutative rings [MSC 2020] 13F20 - Polynomial rings and ideals; rings of integer-valued polynomials [MSC 2020] 13B25 - Polynomials over commutative rings [MSC 2020] 11C08 - Polynomials in number theory [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 13Pxx - Computational aspects and applications [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0125031 |
|
Montes, Antonio
|
||
| xiv, 276 p., : ill. ; 24 cm | ||
| 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. |
| Edizione | [Cham : Springer, 2017] |
| Pubbl/distr/stampa | xxxii, 572 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| 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] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0123441 |
|
Givant, Steven R.
|
||
| xxxii, 572 p., : ill. ; 24 cm | ||
| 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 | ||
| ||
Soggetto topico
-
03B35 - Mechanization of proofs and logical operations [MSC 2020]
(8)
- 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] (6)
- 03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] (4)
- 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] (4)
- 03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] (2)