01780nam0 2200433 i 450 VAN011460220220303122547.162N978-3-319-31803-520180207d2016 |0itac50 baengCH|||| |||||Dependence logictheory and applicationsSamson Abramsky ... [et al.] editors[Cham]BirkhäuserSpringer2016XIV, 276 p.ill.24 cmVAN0242085Dependence logic152325903C80Logic with extra quantifiers and operators [MSC 2020]VANC024415MF03B16Higher-order logic [MSC 2020]VANC024531MF03B70Logic in computer science [MSC 2020]VANC024541MF03B38Type theory [MSC 2020]VANC035911MFDependence AtomsKW:KDependence LogicKW:KDependencies in DatabasesKW:KIndependence LogicKW:KInquisitive LogicKW:KSocial Choice TheoremKW:KTheory of Secret-SharingKW:KCHChamVANL001889AbramskySamsonVANV040029Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-319-31803-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0114602BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2195 15EB 2195 20180207 Dependence logic1523259UNICAMPANIA