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

• 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
• 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