迪亚科内斯库,勒兹万 介绍了一种基于机构的形式化规范和验证语言\(H)。 (英语) Zbl 1484.68106号 日志。Univers大学。 第259-277号第14页(2020年).MSC公司:68问题65 03B45号 03C98号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},日志。Univers大学。14,第2号,259--277(2020;Zbl 1484.68106) 全文: 内政部 arXiv公司
迪亚科内斯库,勒兹万;亚历山大·马德拉 将混合机构编码为一阶逻辑。 (英语) 兹比尔1362.03058 数学。结构。计算。科学。 26,第5号,745-788(2016).MSC公司:03G30型 03B45号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{A.Madeira},数学。结构。计算。科学。26,第5号,745--788(2016;Zbl 1362.03058) 全文: 内政部
迪亚科内斯库,勒兹万;Ţuţu,伊奥努 构建行为规范的基础。 (英语) Zbl 1434.68305号 J.日志。阿尔盖布。方法计划。 83,编号3-4,319-338(2014).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{I.u u},J.Log。阿尔盖布。方法程序。83,编号3--4,319--338(2014;Zbl 1434.68305) 全文: 内政部
迪亚科内斯库,勒兹万 构造规范的公理方法。 (英语) Zbl 1279.68230号 西奥。计算。科学。 433, 20-42 (2012).MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.迪亚科内斯库},Theor。计算。科学。433、20--42(2012年;Zbl 1279.68230) 全文: 内政部
迪亚科内斯库,勒兹万 预序代数的合成。 (英语) Zbl 1206.68197号 Inf.计算。 209,第2期,108-117(2011).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},信息计算。209,编号2108-117(2011年;兹bl 1206.68197) 全文: 内政部
迪亚科内斯库,勒兹万;马吕斯·佩特里亚 机构中的饱和模型。 (英语) Zbl 1208.03040号 架构(architecture)。数学。逻辑 49,第6期,693-723(2010). 审核人:Dimitru Buşneag(克雷奥瓦) MSC公司:03元50分 03C95号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{M.Petria},拱门。数学。逻辑49,No.6,693--723(2010;Zbl 1208.03040) 全文: 内政部
迪亚科内斯库,勒兹万 代数规范中的准布尔编码和条件。 (英语) Zbl 1187.68322号 J.日志。阿尔盖布。程序。 第2期第79页,第174-188页(2010年).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}、J.Log。阿尔盖布。程序。79,第2号,174--188(2010;Zbl 1187.68322) 全文: 内政部
迪亚科内斯库,勒兹万;斯特凡尼亚斯(Stefaneas,Petros) 机构中的超产品和可能世界语义。 (英语) Zbl 1124.03047号 西奥。计算。科学。 379,编号1-2,210-230(2007). 审核人:Dimitru Buşneag(克雷奥瓦) MSC公司:03G30型 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{P.Stefaneas},Theor。计算。科学。379,编号1--2,210-230(2007;Zbl 1124.03047) 全文: 内政部
拉兹万·迪亚科内斯库 任意机构中的Herbrand定理。 (英语) Zbl 1178.68132号 信息处理。莱特。 90,第1期,29-37(2004).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},Inf.过程。莱特。90,第1号,29--37(2004;Zbl 1178.68132) 全文: 内政部
迪亚科内斯库,勒兹万;高基町五指 CafeOBJ的逻辑基础。 (英语) Zbl 1001.68079号 西奥。计算。科学。 285,第2期,289-318(2002).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{K.Futatsugi},Theor。计算。科学。285,第2号,289--318(2002;Zbl 1001.68079) 全文: 内政部