陈晓红;多雷尔·卢卡努;格里高·罗什乌 解释了匹配逻辑。 （英语） Zbl 1518.68047号 J.日志。阿尔盖布。方法计划。 120，文章ID 100638，37 p.（2021）.MSC公司：68纳米30 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，J.Log。阿尔盖布。方法计划。120，文章ID 100638，37 p.（2021；Zbl 1518.68047） 全文： 内政部 链接
弗拉德·鲁苏;多雷尔·卢卡努;⑩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 1321.68337号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，598-616（2015）。MSC公司：2012年第68季度 03B70号 68纳米30 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Roşu}，勒克特。注释计算。科学。9200，598——616（2015年；兹bl 1321.68337） 全文： 内政部
安德烈·波佩斯库;格里高·罗什乌 术语通用逻辑。 （英语） Zbl 1310.03044号 西奥。计算。科学。 577, 1-24 (2015).MSC公司：03B70号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Popescu}和\textit{G.Rošu}，Theor。计算。科学。577，1--24（2015；Zbl 1310.03044） 全文： 内政部 链接
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司：第68季度55 03B70号 68纳米30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，信息计算。231、38--69（2013年；Zbl 1435.68188） 全文： 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1342.68198号 Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。MSC公司：第68季度55 03B70号 68纳米30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，莱克特。注释计算。科学。6914，1--37（2011；Zbl 1342.68198） 全文： 内政部
格里高·罗什乌;楚其·埃里森;沃尔夫拉姆·舒尔特 匹配逻辑：霍尔/弗洛伊德逻辑的替代方案。 （英语） 兹比尔1308.68045 Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。计算机科学课堂讲稿6486142-162（2011）。MSC公司：68纳米30 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}等人，Lect。注释计算。科学。6486，142--162（2011；Zbl 1308.68045） 全文： 内政部
格里高·罗什乌;☑特拉安·弗洛林（Traian Florin） K语义框架概述。 （英语） Zbl 1214.68188号 J.日志。阿尔盖布。程序。 79，第6期，397-434（2010）.MSC公司：2012年第68季度 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{T.F.⁄erbţnu}，J.Log。阿尔盖布。程序。79，第6号，397--434（2010；Zbl 1214.68188） 全文： 内政部
格里高·罗什乌;多雷尔·卢卡努 圆共约：一个证明理论基础。 （英语） Zbl 1239.68067号 亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728127-144（2009）。MSC公司：68吨15 07年3月 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{D.Lucanu}，莱克特。注释计算。科学。5728127--144（2009年；Zbl 1239.68067） 全文： 内政部 链接
☑特拉安·弗洛林（Traian Florin）;格里高·罗什乌;何塞·梅塞盖尔 操作语义的重写逻辑方法。 （英语） Zbl 1165.68041号 Inf.计算。 207，第2号，305-340（2009）.MSC公司：第68季度55 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.F.Şerbănuţă｝等人，Inf.Comput。207，编号2，305-340（2009年；兹bl 1165.68041） 全文： 内政部
格里高·罗什乌 行为抽象是隐藏信息。 （英语） Zbl 1105.68076号 西奥。计算。科学。 327，第1-2号，197-221（2004）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \文本{G.Rošu}，Theor。计算。科学。327，编号1--2，197-221（2004；Zbl 1105.68076） 全文： 内政部
何塞·梅塞盖尔;格里高·罗什乌 走向行为莫德：行为成员关系等式逻辑。 （英语） Zbl 1270.68194号 Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第1期，197-253（2002）。MSC公司：68问题65 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，电子。注释Theor。计算。科学。65，第1号，197--253（2002；Zbl 1270.68194） 全文： 内政部
伯恩德·菲舍尔;格里高·罗什乌 解释成员关系等式逻辑中的抽象解释。 （英语） Zbl 1268.68066号 van den Brand，Mark（编辑）等人，《2001年规则》。2001年9月4日，意大利佛罗伦萨，第二届基于规则的编程国际研讨会会议记录（2001年PLI卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》59，第4期，271-285（2001）。MSC公司：68纳米30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Fischer}和\textit{G.Rošu}，电子。注释Theor。计算。科学。59，第4271-285号（2001年；兹bl 1268.68066） 全文： 内政部