中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
直觉线性μ-演算中的合成推理

文献类型:期刊论文

作者张文辉
刊名软件学报
出版日期2009
卷号20期号:8
关键词合成推理 命题线性时序逻辑 直觉线性μ-演算 compositionalreasoning propositionallineartemporallogic intuitionisticlineartimeμ-calculus
其他题名Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus
收录类别wanfang
公开日期2010-08-24
源URL[http://124.16.136.157/handle/311060/4650]  
专题软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式
GB/T 7714
张文辉. 直觉线性μ-演算中的合成推理[J]. 软件学报,2009,20(8).
APA 张文辉.(2009).直觉线性μ-演算中的合成推理.软件学报,20(8).
MLA 张文辉."直觉线性μ-演算中的合成推理".软件学报 20.8(2009).

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。