张燕;朱兆辉;张金金 关于逻辑LTS上的递归操作。 (英语) 兹比尔1362.68224 数学。结构。计算。科学。 25,第6期,1382-1431(2015).MSC公司:68问题85 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,数学。结构。计算。科学。25,第6号,1382--1431(2015;Zbl 1362.68224) 全文: 内政部 arXiv公司
张燕;朱兆辉;张金金;周勇(Zhou,Yong) 公理化Lüttgen&Vogler的有限过程就绪模拟{CLL}(中文)_{R} \)。 (英语) Zbl 1457.68196号 J.应用。日志。 第3部分第4号第13条,654-675(2015).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,J.Appl。日志。13,第4号,第3部分,654--675(2015;Zbl 1457.68196) 全文: 内政部 arXiv公司
张燕;朱兆辉;张金金 关于(mathrm)中方程的最大解{CLL}_R\). (英语) Zbl 1332.68146号 信息处理。莱特。 115,第11期,903-907(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,《信息处理》。莱特。115,第11号,903--907(2015;Zbl 1332.68146) 全文: 内政部 arXiv公司