×

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

最新的 引文 关联
吉勒姆·贾伯;安德烈·穆拉夫斯基。

完整的状态和控制跟踪模型。 （英语） Zbl 1473.68037号

Yoshida，Nobuko（编辑），《编程语言和系统》。第30届欧洲编程研讨会，ESOP 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 348-374 (2021).
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Jaber}和\textit{A.S.Murawski}，莱克特。注释计算。科学。12648348--374（2021年；Zbl 1473.68037）
全文： DOI程序 arXiv公司
OA许可证
安德烈·穆拉夫斯基。;尼科斯·齐夫列科斯

高阶线性化。 （英语） Zbl 1442.68148号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条，第34条，第18页（2017年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Murawski}和\textit{N.Tzevelekos}，LIPIcs——莱布尼茨国际程序。通知。85，第34条，第18页（2017年；Zbl 1442.68148）
全文： DOI程序
兰科·拉齐奇;安德烈·穆拉夫斯基。

上下文近似和高阶程序。 （英语） Zbl 1475.68048号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 162-179 (2016).
MSC公司：68甲15 03B70型 68号30 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Lazić}和\textit{A.S.Murawski}，莱克特。注释计算。科学。9634、162--179（2016；Zbl 1475.68048）
全文： DOI程序 链接
大卫·霍普金斯;安德烈·穆拉夫斯基。;C.·H·卢克·翁

ML的一个片段可以通过可视的下推自动机来判定。 （英语） Zbl 1333.68079号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼程序，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756149-161（2011）。
MSC公司：68甲18 65年第68季度 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Hopkins}等人，Lect。注释计算。科学。6756149-161（2011年；兹bl 1333.68079）
全文： DOI程序 链接
安德烈·穆拉夫斯基。;尼科斯·齐夫列科斯

算法标称游戏语义。 （英语） Zbl 1326.68071号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602419-438（2011）。
MSC公司：68甲18 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Murawski}和\textit{N.Tzevelekos}，莱克特。注释计算。科学。6602419--438（2011年；Zbl 1326.68071）
全文： DOI程序

筛选结果依据…

文档类型

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件