×

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

最新的 引文 关联
乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆罕默德·雷扎·穆萨维；昆卡罐Tunç

DyNetKAT：动态网络代数。 （英语） Zbl 07793029号

Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13242, 184-204 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.Caltais}等人，Lect。票据计算。科学。13242，184--204（2022；Zbl 07793029）
全文： 内政部 arXiv公司
格里高·罗什乌

从重写逻辑到编程语言语义，再到程序验证。 （英语） Zbl 1321.68337号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，598-616（2015）。
MSC公司：第68季度第42季度 03B70号 68号30 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Rošu}，莱克特。票据计算。科学。9200，598--616（2015；Zbl 1321.68337）
全文： 内政部
彼得·莫塞斯（Peter D.Mosses）。；费迪南德·维斯利

弱互模拟作为MSOS中的同余。 （英语） Zbl 1321.68363号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，519-538（2015）。
MSC公司：68问题85 68号30 第68季度第42季度 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.D.Mosses}和\textit{F.Vesely}，莱克特。票据计算。科学。9200、519--538（2015年；Zbl 1321.68363）
全文： 内政部
穆萨布·阿尔图尔基。；何塞·梅塞格尔

Orc的可执行重写逻辑语义和Orc程序的形式化分析。 （英语） Zbl 1329.68169号

J.日志。阿尔盖布。方法计划。 84，第4期，505-533（2015）.
MSC公司：第68季度55 03B70号 2010年第68季度 第68季度第42季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.A.AlTurki}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法程序。84，第4号，505--533（2015；Zbl 1329.68169）
全文： 内政部
巴赫·鲍尔森，卡斯珀；彼得·莫塞斯（Peter D.Mosses）。

为模块化结构操作语义生成专门的解释器。 （英语） Zbl 1453.68040号

Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。8901220-236（2014年）。
MSC公司：68N20型 68N17号 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.巴赫·鲍尔森}和\textit{P.D.苔藓}，莱克特。票据计算。科学。8901、220--236（2014；Zbl 1453.68040）
全文： 内政部
毛罗·贾斯克利奥夫；尼尔·加尼；格雷厄姆·赫顿

数学操作语义的模块化和实现。 （英语） Zbl 1291.68123号

Capretta，Venanzio（编辑）等人，《数学结构函数编程第二次研讨会论文集》（MSFP 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第5期，75-95页（2011年）。
MSC公司：68甲18 18 C50 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{M.Jaskelioff}等人，《电子》。注释Theor。计算。科学。229，第5号，75--95（2011；Zbl 1291.68123）
全文： 内政部
何塞·梅塞格尔；格里高·罗什乌

重写逻辑语义项目：进度报告。 （英语） Zbl 1342.68198号

Owe，Olaf（编辑）等人，《计算理论基础》。第18届国际研讨会，2011年《烟草控制框架公约》，挪威奥斯陆，2011年8月22日至25日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。
MSC公司：第68季度55 03B70号 68号30 第68季度第42季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{G.Rošu}，莱克特。票据计算。科学。6914，1--37（2011；Zbl 1342.68198）
全文： 内政部
彼得·莫塞斯（Peter D.Mosses）。；新，Mark J。

结构操作语义中的隐式传播。 （英语） Zbl 1339.68159号

Hennessy，Matthew（编辑）等人，《结构操作语义第五次研讨会论文集》（SOS 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第4期，49-66（2009）。
MSC公司：第68季度55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.D.Mosses}和\textit{M.J.New}，电子。注释Theor。计算。科学。229，第4号，49--66（2009；Zbl 1339.68159）
全文： 内政部
巴托克·克林

加权转换系统的结构操作语义。 （英语） Zbl 1253.68214号

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，121-139（2009）。
MSC公司：第68季度55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}，莱克特。票据计算。科学。5700、121--139（2009年；Zbl 1253.68214）
全文： 内政部
何塞·梅塞格尔

按顺序排序的参数化和归纳。 （英语） Zbl 1253.68215号

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，43-80（2009）。
MSC公司：第68季度55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，莱克特。票据计算。科学。5700、43-80（2009年；Zbl 1253.68215）
全文： 内政部
希尔斯，马克；⑩erbénuţ\355 ;Ņene，Traian；格里高·罗什乌

用于语言定义和生成高效口译员的重写框架。 （英语） Zbl 1279.68116号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，215-231（2007）。
MSC公司：第68季度第42季度 03B70号 68甲15 68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hills}等人，《电子》。注释Theor。计算。科学。176，第4号，215--231（2007；Zbl 1279.68116）
全文： 内政部
Şerbănuţă，特拉恩·弗洛林；格里高·罗什乌；何塞·梅塞格尔

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

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

结构操作语义中的双代数方法（特邀演讲）。 （英语） Zbl 1277.68122号

van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，33-43（2007）。
MSC公司：第68季度55 03B45 03G30型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit｛B.Klin｝，电子。注释Theor。计算。科学。175，编号1，33-43（2007；Zbl 1277.68122）
全文： 内政部
克里斯蒂亚诺·布拉加；阿尔贝托·维尔德乔

具有策略的模块化结构操作语义。 （英语） Zbl 1277.68114号

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件