×

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

最新的 引文 关联
弗洛里安·弗兰克;斯特凡·米利厄斯;海宁·乌尔巴特

标称自动机的协同代数语义。 （英语） Zbl 07628066号

Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13225, 45-66 (2022).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{F.Frank}等人，Lect。注释计算。科学。13225，45-66（2022；Zbl 07628066）
全文： 内政部 arXiv公司
卢茨·施罗德;德克斯特·科赞;斯特凡·米利厄斯;托尔斯滕·维曼

具有名称绑定的标称自动机。 （英语） 兹比尔1486.68097

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 124-142 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}等人，Lect。注释计算。科学。10203、124--142（2017；Zbl 1486.68097）
全文： 内政部 arXiv公司
德克斯特·科赞;康斯坦蒂诺斯·马穆拉斯;丹尼拉·佩特里西安;亚历山德拉·席尔瓦

标称Kleene余代数。 （英语） Zbl 1440.68174号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 286-298 (2015).
MSC公司：70年第68季度 03B70号 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}等人，Lect。注释计算。科学。9135286--298（2015；Zbl 1440.68174）
全文： 内政部 链接
罗伊·克罗。;弗兰克·内贝尔

名义lambda演算：FM-Cartesian闭范畴的内部语言。 （英语） Zbl 1334.68042号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记29893-117（2013）。
MSC公司：68甲18 03B40型 18日第15天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.L.Crole}和textit{F.Nebel}，电子。理论注释。计算。科学。29893--117（2013；Zbl 1334.68042）
全文： 内政部
默多克·加贝;丹·吉卡

名义模型中的游戏语义。 （英语） Zbl 1342.68195号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286173-189（2012）。
MSC公司：68问题55 03B70号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Gabbay｝和\textit｛D.Ghica｝，电子。理论注释。计算。科学。286173--189（2012年；Zbl 1342.68195）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件