01783nam0 2200433 i 450 VAN0011460220240806100752.171N978-3-319-31803-520180207d2016 |0itac50 baengCH|||| |||||Dependence logictheory and applicationsSamson Abramsky ... [et al.] editors[Cham]BirkhäuserSpringer2016XIV, 276 p.ill.24 cmVAN00242085Dependence logic152325903B16Higher-order logic [MSC 2020]VANC024531MF03B38Type theory [MSC 2020]VANC035911MF03B70Logic in computer science [MSC 2020]VANC024541MF03C80Logic with extra quantifiers and operators [MSC 2020]VANC024415MFDependence AtomsKW:KDependence LogicKW:KDependencies in DatabasesKW:KIndependence LogicKW:KInquisitive LogicKW:KSocial Choice TheoremKW:KTheory of Secret-SharingKW:KCHChamVANL001889AbramskySamsonVANV040029Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240906RICAhttp://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 SBAVAN15NVAN00114602BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2195 15EB 2195 20180207 Dependence logic1523259UNICAMPANIA