×

找到12个文档（结果1-12）

最新的 引文 关联
格里高·罗什乌

从重写逻辑到编程语言语义，再到程序验证。 （英语） 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格式引用
\textit{G.Rošu}，莱克特。注释计算。科学。9200，598--616（2015；Zbl 1321.68337）
全文： DOI程序
何塞·梅塞盖尔;格里高·罗什乌

重写逻辑语义项目：进度报告。 （英语） 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年；兹比尔1342.68198）
全文： DOI程序
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里

用Maude重写分层设计。 （英语） Zbl 1347.68072号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，45-62（2009）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。理论注释。计算。科学。238，第3号，45-62（2009；Zbl 1347.68072）
全文： DOI程序
☑特拉安·弗洛林（Traian Florin）;格里高·罗什乌;何塞·梅塞盖尔

操作语义的重写逻辑方法（扩展抽象）。 （英语） Zbl 1278.68147号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，125-141（2007）。
MSC公司：68问题55 2012年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{T.F.öerbţnu}等人，《电子》。理论注释。计算。科学。192，编号1，125--141（2007；Zbl 1278.68147）
全文： DOI程序
克里斯蒂亚诺·布拉加;阿尔贝托·维尔德乔

具有策略的模块化结构操作语义。 （英语） 兹伯利1277.68114

van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，3-17页（2007年）。
MSC公司：68问题55 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Braga｝和\textit｛A.Verdejo｝，电子。理论注释。计算。科学。175，第1号，第3--17号（2007；Zbl 1277.68114）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件