丹麦航空公司 swMATH ID: 20094 软件作者: 尤里·古里维奇 描述: DKAL(分布式知识授权语言)是一种分布式授权策略语言。此项目包含用于运行DKAL策略的引擎。它主要在F#中实现。 主页: http://dkal.codeplex.com/ 相关软件: 数据日志;粘合剂;斯莫德尔斯;自旋蛋白;z3(零3);BoogiePL公司;规格#;SLAM公司;雅高;迷你ML;勒图尔;AURA公司 引用于: 18文件 全部的 前5名25位作者引用 10 尤里·古里维奇 三 安德烈亚斯·拉斐尔 三 卡洛斯·科特里尼 2 尼古拉·S·比约纳。 2 伊泰州奈曼 1 马丁·阿巴迪 1 谢尔盖·阿特莫夫 1 包,易宝 1 列夫·贝克莱米舍夫。 1 圭多·波埃拉 1 吉多·德卡索 1 方彬兴 1 加贝,多夫·M。 1 基诺维斯,瓦莱里奥 1 奥里·拉哈夫 1 马尔科·马吉利乌斯 1 阿特姆·梅伦蒂耶夫 1 塞尔吉奥·梅拉 1 马丁·蒙德亨克 1 拉斐拉·帕伦塔 1 西尔维奥·兰伊斯 1 维什纳维桑达拉扬 1 S.P.苏雷什。 1 范德托雷,Leendert W.N。 1 尹丽华 全部的 前5名9篇连载文章中引用 2 逻辑与计算杂志 2 欧洲理论计算机科学协会公报 1 信息处理信件 1 逻辑研究 1 符号计算杂志 1 信息与计算 1 ACM计算逻辑事务 1 符号逻辑述评 1 科学中国。信息科学 在3个字段中引用 16 数学逻辑和基础(03-XX) 8 计算机科学(68-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文