直觉线性μ-演算

---

Autoria(s): 张文辉

Data(s)	2008
Identificador	http://ir.iscas.ac.cn/handle/311060/4652 http://www.irgrid.ac.cn/handle/1471x/66984
Fonte	张文辉.直觉线性μ-演算,软件学报,2008,19(12):
Palavras-Chave	#命题线性时序逻辑 #直觉线性μ-演算 #propositionallineartemporallogic #intuitionisticlineartimeμ-calculus
Tipo	期刊论文