安德烈·阿鲁索艾;瑟·特凡·乔巴赫;多雷尔·卢卡努;格里戈·罗苏;弗拉德·鲁苏;erbénuţ\355 ;Ņé,Traian-Florin 程序逻辑及其应用。 (英语) Zbl 1389.68009号 修订版Roum。数学。Pures应用程序。 62,编号137-154(2017). 审核人:Fevzi Belli(帕德博恩) MSC公司:68号30 03B70号 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人,Rev.Roum。数学。Pures应用程序。62,第1号,137--154(2017;Zbl 1389.68009)
多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:共创方法。 (英语) Zbl 1356.68044号 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125--163(2017;Zbl 1356.68044) 全文: 内政部 哈尔
弗拉德·鲁苏;多雷尔·卢卡努;erbénuţ\355 ;Ņé,Traian-Florin;安德烈·阿鲁索艾;安德烈·特夫内斯库;格里高·罗什乌 语言定义是重写理论。 (英语) Zbl 1356.68125号 J.日志。阿尔盖布。方法计划。 85,第1号,第1部分,98-120(2016).MSC公司:2012年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}等人,J.Log。阿尔盖布。方法计划。85,第1号,第1部分,98-120(2016;Zbl 1356.68125) 全文: 内政部
安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 基于语言转换的符号执行。 (英语) Zbl 1387.68047号 计算。语言系统。结构。 44,A部分,48-71(2015).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人,计算。语言系统。结构。44,A部分,48--71(2015;Zbl 1387.68047) 全文: 内政部 哈尔