×

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

最新的 引文 关联
约瑟夫·保卢斯（Joseph W.N.Paulus）。;丹尼尔·南特斯·索布里尼奥;佩雷斯（Jorge A.Pérez）。

非确定性作为非确定性过程发挥作用。 （英语） Zbl 07753361号

日志。方法计算。科学。 19，第4号，第1号论文，120页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{J.W.N.Paulus}等人，Log。方法计算。科学。19，第4号，第1号论文，120页（2023；Zbl 07753361）
全文： 内政部 arXiv公司
OA许可证
伊莱恩·皮门特尔;卡洛斯·奥拉特;Vivek Nigam先生

过程-形式解释：一种亚结构多模态观点（受邀演讲）。 （英语） Zbl 07700608号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第3条，第21页（2021年）。
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛E.Pimentel｝等人，LIPIcs——莱布尼茨国际期刊。通知。195，第3条，第21页（2021；Zbl 07700608）
全文： 内政部
罗斯·霍恩;Tiu，Alwen先生;阿曼，博格丹;加布里埃尔·乔巴努

非交换逻辑中的私有名称。 （英语） Zbl 1392.68303号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第31条，16页（2016）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Horne}等人，LIPIcs——莱布尼茨国际程序。通知。59，第31条，第16页（2016；Zbl 1392.68303）
全文： 内政部
Jens Chr.Godskesen。

具有静态位置绑定的移动自组织网络的演算。 （英语） Zbl 1291.68286号

Hildebrandt，Thomas（编辑）等人，第15届并发表达性国际研讨会论文集（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，161-183（2009）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Chr.Godskesen}，电子。注释Theor。计算。科学。242，第1号，161--183（2009；Zbl 1291.68286）
全文： 内政部
马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺

粘合剂薄弱，生活艰难。 （英语） Zbl 1291.68278号

Hildebrandt，Thomas（编辑）等人，《第十五届并发表达能力国际研讨会论文集》（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，49-72（2009）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，《电子》。注释Theor。计算。科学。242，第1号，49--72（2009；Zbl 1291.68278）
全文： 内政部
西蒙·克莱默;卡图西亚帕拉米德斯;罗伯特·塞加拉;安德烈亚·图里尼;克里斯特尔·布劳恩

概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 （英语） Zbl 1186.68325号

J.应用。非类别。日志。 19，第4期，489-516（2009）.
MSC公司：87年第68季度 03B45 03B70号 68T42型 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{S.Kramer}等人，J.Appl。非类别。日志。19，第4号，489--516（2009；Zbl 1186.68325）
全文： 内政部
丹尼尔·戈拉

通信原语中的同步与异步。 （英语） Zbl 1277.68185号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记175，第3期，87-108（2007）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Gorla}，电子。注释Theor。计算。科学。175，第3号，87--108（2007；Zbl 1277.68185）
全文： 内政部
科拉多·普里亚米;亚历山德罗·罗曼内尔

β-结合物结构一致性的可判定性。 （英语） Zbl 1277.68200号

Busi，Nadia（编辑）等人，《膜计算和生物启发过程计算第一次研讨会论文集》（MeCBIC 2006），S.Servolo，意大利威尼斯，2006年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》171，第2期，155-170（2007）。
MSC公司：68问题85 03B25号 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Priami}和\textit{A.Romanel}，电子。注释Theor。计算。科学。171，No.2，155--170（2007；Zbl 1277.68200）
全文： 内政部
马西莫·梅罗

异步名称传递计算中的位置性和多义性。 （英语） Zbl 0961.68091号

Tiuryn，Jerzy（编辑），《软件科学和计算结构基础》。第三届国际会议，FOSSACS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1784, 238-251 (2000).
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Merro}，莱克特。注释计算。科学。1784，238--251（2000；Zbl 0961.68091）
马西莫·梅罗;大卫·桑吉奥吉

关于名称传递计算中的异步性。 （英语） Zbl 0910.03019号

Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1443, 856-867 (1998).
MSC公司：03B70号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Merro}和\textit{D.Sangiorgi}，莱克特。注释计算。科学。1443856-867（1998年；Zbl 0910.03019）
塞德里克·Fornet;乔治·戈蒂尔

异步计算的等价层次。（扩展摘要）。 （英语） Zbl 0909.03030号

Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1443, 844-855 (1998).
MSC公司：03B70号 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Fornet}和\textit{G.Gonthier}，莱克特。注释计算。科学。1443、844--855（1998年；Zbl 0909.03030）
Lin，H。

有限控制演算中观测同余的完备证明系统。 （英语） 兹比尔0910.03020

Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1443, 443-454 (1998).
MSC公司：03B70号 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{H.Lin}，莱克特。注释计算。科学。1443、443--454（1998年；Zbl 0910.03020）
J.C.布拉德菲尔德。

模态多演算交替层次是严格的。 （英语） Zbl 1514.68082号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 233-246 (1996).
MSC公司：2015年第68季度 03B44号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Bradfield}，莱克特。注释计算。科学。1119233--246（1996年；Zbl 1514.68082）
全文： 内政部 链接
雷蒙德·麦克道尔;戴尔·米勒;卡图西亚帕拉米德斯

在序列演算中对转换系统进行编码。（初步报告）。 （英语） Zbl 0908.03049号

Girard，Jean-Yves（编辑）等人，《线性逻辑》96。会议论文，庆应义塾大学，日本东京，1996年3月28日至4月2日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第3、15页（1996年）。
MSC公司：05年3月 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.McDowell}等人，in：线性逻辑96。会议论文，庆应义塾大学，日本东京，1996年3月28日至4月2日。阿姆斯特丹：爱思唯尔。第15页（1996年；Zbl 0908.03049）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件