拉兹万·迪亚科内斯库 党派化机构。 (英语) Zbl 07785142号 申请。类别。结构。 31,第6号,第46号论文,第29页(2023年).MSC公司:2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},应用。类别。结构。31,第6号,第46号论文,第29页(2023;Zbl 07785142) 全文: 内政部 arXiv公司
拉兹万·迪亚科内斯库 结构化规范翻译的存在性。 (英语) Zbl 1456.68100号 信息处理。莱特。 115,第1期,15-22(2015).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},Inf.过程。莱特。115,编号1,15--22(2015;Zbl 1456.68100) 全文: 内政部
拉兹万·迪亚科内斯库 CafeOBJ追踪。 (英语) 兹比尔1407.68307 Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8373, 53-65 (2014).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \文本{R.Diaconescu},勒克特。注释计算。科学。8373、53-65(2014年;Zbl 1407.68307) 全文: 内政部