直觉线性μ-演算中的合成推理

---

Autoria(s): 张文辉

Data(s)	2009
Identificador	http://ir.iscas.ac.cn/handle/311060/4650 http://www.irgrid.ac.cn/handle/1471x/66982
Fonte	张文辉.直觉线性μ-演算中的合成推理,软件学报,2009,20(8):
Palavras-Chave	#合成推理 #命题线性时序逻辑 #直觉线性μ-演算 #compositionalreasoning #propositionallineartemporallogic #intuitionisticlineartimeμ-calculus
Tipo	期刊论文