张燕;朱兆辉;张金金 在\(\mathrm中编码安全{CLL}_R\)。 (英语) Zbl 1489.68173号 西奥。计算。科学。 897, 64-82 (2022). 审核人:马丁·兰格(卡塞尔) MSC公司:68问题85 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,Theor。计算。科学。897,64-82(2022;Zbl 1489.68173) 全文: 内政部
张燕;朱兆辉;张金金 关于逻辑LTS上的递归操作。 (英语) Zbl 1362.68224号 数学。结构。计算。科学。 25,第6期,1382-1431(2015).MSC公司:68问题85 第68季度第60季度 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号 第68季度第60季度 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公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,《信息处理》。莱特。115,第11号,903--907(2015;Zbl 1332.68146) 全文: 内政部 arXiv公司