Vai al contenuto principale della pagina

Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors Visualizza cluster
Pubblicazione: [Cham], : Birkhäuser, : Springer, 2016
Titolo uniforme: Dependence logic  
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
Persona (resp. second.): Abramsky, Samson
Titolo autorizzato: Dependence logic  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN0114602
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-3-319-31803-5
Opac: Controlla la disponibilità qui