安德烈·谢夫内斯库;斯蒂芬·乔布;拉杜·梅鲁塔;布兰登·摩尔;格里高·罗什乌;⑩erbnuṭ呃,Traian Florin 全通可达性逻辑。 (英语) Zbl 1421.68015号 日志。方法计算。科学。 15,第2号,第5号论文,23页(2019年).MSC公司:68号30 03B70号 68甲19 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ştefănescu}等人,日志。方法计算。科学。15,第2号,第5号论文,23页(2019年;Zbl 1421.68015) 全文: arXiv公司
瑟·特凡·乔巴赫;多雷尔·卢卡努;弗拉德·鲁苏;格里高·罗什乌 一个独立于语言的完整程序等价性证明系统。 (英语) Zbl 1355.68051号 正式Asp。计算。 28,第3期,469-497(2016).MSC公司:68号30 03B70号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人,《形式Asp》。计算。28,第3号,469--497(2016;Zbl 1355.68051) 全文: 内政部 哈尔
约尔格恩德鲁利斯;迪米特里·亨德里克斯;雷娜·巴赫西;格里高·罗什乌 关于流相等的复杂性。 (英语) Zbl 1297.68050号 J.功能。程序。 24,第2-3号,166-217(2014).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,J.Funct。程序。24、编号2--3、166-217(2014;Zbl 1297.68050) 全文: 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目:进度报告。 (英语) 兹比尔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) 全文: 内政部
格里高·罗什乌;多雷尔·卢卡努 圆共约:一个证明理论基础。 (英语) 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) 全文: 内政部 链接
多雷尔·卢卡努;格里高·罗什乌;格里戈拉什 作为证明策略的常规策略中国保监会. (英语) Zbl 1279.68056号 Giesl,J.(编辑),第七届改写和编程中的简化策略国际研讨会论文集(WRS 2007),法国巴黎,2007年6月25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记204,83-98(2008)。MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,《电子》。注释Theor。计算。科学。204、83——98(2008年;Zbl 1279.68056) 全文: 内政部
西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔夫拉兹·库希德;洛瑞,迈克;科琳娜·帕萨雷努;格里高·罗什乌;Koushik森;威廉·维瑟;华盛顿,里奇 结合测试用例生成和运行时验证。 (英语) Zbl 1080.68062号 西奥。计算。科学。 336,编号2-3,209-234(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Artho}等人,Theor。计算。科学。336,编号2--3,209--234(2005;Zbl 1080.68062) 全文: 内政部
格里高·罗什乌 行为抽象是隐藏信息。 (英语) 兹比尔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) 全文: 内政部