位置：成果数据库 > 期刊 > 期刊详情页
On the Decidability of Modal Extension of FLew
  • ISSN号：0039-3215
  • 期刊名称：Studia Logica
  • 时间：0
  • 页码：-
  • 相关项目：RBAC授权决策支持模式研究
作者： Dongning Liu|Zhe Lin|
同期刊论文项目
RBAC授权决策支持模式研究
期刊论文 16 会议论文 3
同项目期刊论文
<span style="color: rgb(0, 0, 0); font-family: Simsun;">基于时态数据库的极小子结构逻辑系统</span&g
RBAC模型研究历程中的系列问题分析
基于中文陈述句灵活语序的Lambek演算
Cloud Manufacturing: a Novel Way to Centralize Manufacturing Resources and Provide Manufacturing Ser
Cloud Manufacturing Service System for Industrial-Cluster-Oriented Application
云制造服务平台的资源使用及访问控制
The resource access authorization route problem in a collaborative manufacturing system
基于角色协同的在线社交网络好友推荐机制
基于主从角色分配的气象自动站布局及其优化
E-CARGO模型在线社会网络研究团队机制
基于分支限界的不平衡气象数据晴雨分析
基于时态数据库的极小子结构逻辑系统
一种缓解分类面交错的样本点扩散方法