卡洛斯·格雷戈里奥·罗德里格斯;路易斯·拉纳;拉斐尔·马丁内斯 一致性关系的公理语义。 (英语) Zbl 1400.68133号 J.日志。阿尔盖布。方法计划。 100, 152-184 (2018).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Gregorio-Rodríguez}等人,J.Log。阿尔盖布。方法计划。100152--184(2018;Zbl 1400.68133) 全文: 内政部
张燕;朱兆辉;张金金;周勇(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公司