×

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

最新的 引文 关联
保罗·布鲁内特;亚历山德拉·席尔瓦

标称自动机的Kleene定理。 （英语） Zbl 07561600号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第107条，第13页（2019）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Brunet}和\textit{A.Silva}，LIPIcs——莱布尼茨国际程序。通知。132，第107条，第13页（2019年；Zbl 07561600）
全文： 内政部
内特·福斯特;德克斯特·科岑;康斯坦蒂诺斯·马穆拉斯;雷特布拉特，马克;亚历山德拉·席尔瓦

概率NetKAT。 （英语） Zbl 1335.68027号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632282-309（2016）。
MSC公司：68甲15 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Foster}等人，Lect。注释计算。科学。9632，282--309（2016；Zbl 1335.68027）
全文： 内政部
朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;简·拉特;亚历山德拉·席尔瓦

增强的协同脑互模拟。 （英语） Zbl 1380.68300号

数学。结构。计算。科学。 27，第7期，1236-1264（2017）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：68问题85 18B20型 18立方厘米 18 C50 68问题55 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Rot}等人，数学。结构。计算。科学。27，第7号，1236--1264（2015；Zbl 1380.68300）
全文： 内政部
月亮，Young-Joo;亚历山德拉·席尔瓦;克里斯蒂安·克劳斯;法哈德·阿尔巴

一个组合模型，用于推理随机Reo连接器中的端到端QoS。 （英语） Zbl 1412.68065号

科学。计算。程序。 80，A部分，3-24（2014）.
MSC公司：第68季度10 68甲15 65年第68季度 68问题55 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.-J.Moon}等人，科学。计算。程序。80，A部分，3--24（2014；Zbl 1412.68065）
全文： 内政部 arXiv公司 链接
菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登，普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦

Brzozowski最小化算法中的代数-代数对偶。 （英语） Zbl 1288.68174号

ACM事务处理。计算。日志。 第15号第1条第3条第29页（2014年）.
MSC公司：70年第68季度 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，ACM Trans。计算。日志。15，第1号，第3条，29页（2014年；Zbl 1288.68174）
全文： 内政部 链接
马塞洛·邦桑格;乔治亚娜·卡尔泰斯;欧根·伊安·戈里亚克;多雷尔·卢卡努;简·拉特;亚历山德拉·席尔瓦

广义正则表达式双相似性的判定过程。 （英语） Zbl 1325.68127号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527，226-241（2011）。
MSC公司：65年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Bonsangue}等人，莱克特。注释计算。科学。6527，226--241（2011；Zbl 1325.68127）
全文： 内政部 链接
菲利波·邦奇;马塞洛·邦桑格;简·拉特;亚历山德拉·席尔瓦

导出定量规则行为的语法和公理。 （英语） Zbl 1254.68129号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。2009年9月1日至4日，意大利博洛尼亚，第20届国际会议，CONCUR 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710146-162（2009）。
MSC公司：65年第68季度 68问题65 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。5710、146--162（2009年；Zbl 1254.68129）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件