ISCAS OpenIR  > 基础软件与系统重点实验室
直觉线性μ-演算
Alternative TitleIntuitionistic Linear-Time μ-Calculus
张文辉
2008
Source软件学报
Volume19Issue:12
Indexed Typewanfang
Keyword命题线性时序逻辑 直觉线性μ-演算 Propositionallineartemporallogic Intuitionisticlineartimeμ-calculus
Department计算机科学国家重点实验室
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/4652
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
张文辉. 直觉线性μ-演算[J]. 软件学报,2008,19(12).
APA 张文辉.(2008).直觉线性μ-演算.软件学报,19(12).
MLA 张文辉."直觉线性μ-演算".软件学报 19.12(2008).
Files in This Item:
File Name/Size DocType Version Access License
5.pdf(607KB) 开放获取--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.