Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114602 |
[Cham], : Birkhäuser, : Springer, 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
Soggetto topico |
03B16 - Higher-order logic [MSC 2020]
03B38 - Type theory [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] |
Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00114602 |
[Cham], : Birkhäuser, : Springer, 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
Edizione | [[Cham] : Birkhäuser : Springer, 2016] |
Pubbl/distr/stampa | XIV, 276 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0114602 |
XIV, 276 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | Berlin, : Springer, 1995 |
Descrizione fisica | XV, 327 p. : ill. ; 25 cm. |
Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] |
ISBN |
978-35-406-0149-4
35-406-0149-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055754 |
Ebbinghaus, Heinz-Dieter | ||
Berlin, : Springer, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | Berlin, : Springer, 1995 |
Descrizione fisica | XV, 327 p. : ill. ; 25 cm |
Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] 03C13 - Model theory of finite structures [MSC 2020] |
ISBN |
35-406-0149-X
978-35-406-0149-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055754 |
Ebbinghaus, Heinz-Dieter | ||
Berlin, : Springer, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
Autore | Ebbinghaus, Heinz-Dieter |
Pubbl/distr/stampa | Berlin, : Springer, 1995 |
Descrizione fisica | XV, 327 p. : ill. ; 25 cm |
Soggetto topico |
03C13 - Model theory of finite structures [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 68P15 - Database theory [MSC 2020] |
ISBN |
35-406-0149-X
978-35-406-0149-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00055754 |
Ebbinghaus, Heinz-Dieter | ||
Berlin, : Springer, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|