ISCAS OpenIR  > 基础软件与系统重点实验室
直觉线性μ-演算中的合成推理
Alternative TitleCompositional Reasoning in Intuitionistic Linear-Time μ-Calculus
张文辉
2009
Source软件学报
Volume20Issue:8
Indexed Typewanfang
Keyword合成推理 命题线性时序逻辑 直觉线性μ-演算 Compositionalreasoning Propositionallineartemporallogic Intuitionisticlineartimeμ-calculus
Department计算机科学国家重点实验室
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/4650
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
张文辉. 直觉线性μ-演算中的合成推理[J]. 软件学报,2009,20(8).
APA 张文辉.(2009).直觉线性μ-演算中的合成推理.软件学报,20(8).
MLA 张文辉."直觉线性μ-演算中的合成推理".软件学报 20.8(2009).
Files in This Item:
File Name/Size DocType Version Access License
4.pdf(640KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[张文辉]'s Articles
Baidu academic
Similar articles in Baidu academic
[张文辉]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[张文辉]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.