机译:使用一阶逻辑了解SPKI / SDSI
SPKT; SDSI; Trust; management; Logic; Logic programs; Language;
机译:使用一阶逻辑了解SPKI / SDSI
机译:SPKI / SDSI与K-SPKI / SDSI系统的比较研究
机译:模型检查SPKI / SDSI
机译:使用一阶逻辑了解SPKI / SDSI
机译:一阶逻辑及其扩展表明的问题的细粒度复杂性
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:使用一阶逻辑了解SPKI / SDSI