Vol-597⫷ Vol-598 ⫸Vol-599
urn:nbn:de:0074-598-0


None⫷None⫸None
Valerio GenoveseLaura Giordano 0001Gian Luca PozzatoValentina Gliozzi

A Constructive Conditional Logic for Access Control