×

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

最新的 引文 关联
卡梅隆·卡克；埃里克·古堡；菲利普·马尔博斯；乔治·斯特鲁斯

代数相干合流和更高球状Kleene代数。 （英语） Zbl 1508.18018号

日志。方法计算。科学。 18，第4号，第9号论文，43页（2022年）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18号30 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calk}等人，日志。方法计算。科学。18，第4号，第9号论文，43页（2022年；Zbl 1508.18018）
全文： DOI程序 arXiv公司
乌里·法伦贝格；克里斯蒂安·约翰森；乔治·斯特鲁斯；Krzysztof，Zimiañski

以接口作为并发模型的Poset。 （英语） Zbl 1515.68204号

Inf.计算。 285，B部分，文章ID 104914，20 p.（2022）.
审核人：沃尔夫冈·雷西格（柏林）
MSC公司：68问题85 06年06月06日 18B35型
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，《信息计算》。285，B部分，文章ID 104914，20 p.（2022；Zbl 1515.68204）
全文： DOI程序 arXiv公司
迈卡，暂停；克莉丝汀·赫利希；詹姆斯·费尔班克斯

科学模型增强的合成框架。 （英语） Zbl 07453978号

Baez，John（ed.）等人，《2019年应用范畴理论学报》，ACT 2019，英国牛津大学，2019年7月15日至19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）323172-182（2020）。
MSC公司：68倍 2018年XX月18日
PDF格式BibTeX公司 XML格式引用
\textit{M.Halter}等人，《电子》。程序。西奥。计算。科学。（EPTCS）323172--182（2020；Zbl 07453978）
全文： arXiv公司 链接
伍尔特，美国。；A.R.马提尼。；Häusler，E.H。

Hoare逻辑的索引和光纤结构。 （英语） Zbl 1495.03053号

Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348, 125-145 (2020).
MSC公司：03B70号 03G30型 18号45
PDF格式BibTeX公司 XML格式引用
\textit{U.E.Wolter}等人，《电子》。注释Theor。计算。科学。348125-145（2020年；兹bl 1495.03053）
全文： DOI程序
何塞·努诺·奥利维拉；维克托·卡奇亚里·米拉尔多

“保持定义，改变类别”——一种基于状态的系统计算的实用方法。 （英语） 兹比尔1344.68150

J.日志。阿尔盖布。方法计划。 85，第4期，449-474（2016）.
MSC公司：70年第68季度 18个C20 68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Oliveira}和\textit{V.C.Miraldo}，J.Log。阿尔盖布。方法计划。85，第4号，449--474（2016；Zbl 1344.68150）
全文： DOI程序
哈特穆特·埃里格；乌尔里克·戈拉斯；阿内格丽特·哈贝尔；莱恩·兰伯斯；费尔南多·奥雷贾斯

\具有嵌套应用条件的（mathcal{M}）-粘合剂转化系统。一： 并行、并发和合并。 （英语） Zbl 1342.68176号

数学。结构。计算。科学。 24，第4号，文章ID e240406，48页（2014）.
MSC公司：2012年第68季度 18B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，数学。结构。计算。科学。24，第4号，文章ID e240406，48页（2014；Zbl 1342.68176）
全文： DOI程序
Mislove，迈克尔

连续随机变量领域的解剖学。二、。 （英语） Zbl 1264.68108号

Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。计算机科学课堂讲稿7860，225-245（2013）。
MSC公司：68问题55 06B35号 18日第15天 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mislove}，莱克特。注释计算。科学。7860225-245（2013年；Zbl 1264.68108）
全文： DOI程序
Dan R.吉卡。

延迟敏感异步电路的图解推理。 （英语） Zbl 1264.94126号

Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。计算机科学课堂讲稿7860，52-68（2013）。
MSC公司：94立方厘米10 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Ghica}，莱克特。注释计算。科学。7860，52-68（2013；Zbl 1264.94126）
全文： DOI程序
弗朗西斯科·阿尔巴西尼。；北萨巴迪尼。；沃尔特斯，R.F.C。

马尔可夫过程的组合结构。二、。 （英语） Zbl 1216.18005号

西奥·雷罗。通知。申请。 45，第1期，117-142（2011）.
MSC公司：18B20型 60J10型 18日第10天 05C22号 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{L.de Francesco Albasini}等人，RAIRO，Theor。通知。申请。45，第1号，117--142（2011；Zbl 1216.18005）
全文： DOI程序 arXiv公司 欧洲DML
权力，约翰；田中、美琪

按值调用编程语言中数据优化的公理。 （英语） Zbl 1336.68032号

Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，281-302（2009）。
MSC公司：68甲18 18 C50 68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Power}和\textit{M.Tanaka}，电子。注释Theor。计算。科学。225、281--302（2008年；Zbl 1336.68032）
全文： DOI程序
迈克尔·约翰逊；戴维·诺曼；权力，约翰

数据精化的范畴理论模型。 （英语） Zbl 1336.68035号

Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，21-38（2009）。
MSC公司：68号30 03G30型 18 C50 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Johnson}等人，《电子》。注释Theor。计算。科学。225、21-38（2008年；Zbl 1336.68035）
全文： DOI程序
托马斯·希尔德布兰特。；弗拉迪米罗·萨松

将转换系统与独立和异步转换系统进行比较。 （英语） Zbl 1514.68169号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 84-97 (1996).
MSC公司：68问题85 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Hildebrandt}和\textit{V.Sassone}，莱克托。注释计算。科学。1119、84-97（1996年；Zbl 1514.68169）
全文： DOI程序 链接
彼得·科尼恩伯格；弗兰克·诺德曼

部分超学说：部分函数逻辑和霍尔逻辑的分类模型。 （英语） 兹比尔0809.03020

数学。结构。计算。科学。 4，第2期，117-146（1994）.
审核人：N.Curteanu（伊阿什）
MSC公司：03B70号 68问题55 03G30型 18立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{P.Knijnenburg}和\textit{F.Nordemann}，数学。结构。计算。科学。4，第2号，117--146（1994；Zbl 0809.03020）
全文： DOI程序
费利佩·布拉乔；曼弗雷德·德罗斯特

从域到具有并发性的自动机。 （英语） Zbl 1418.68134号

Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 669-681 (1993).
MSC公司：68问题85 18B20型 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bracho}和\textit{M.Droste}，莱克特。注释计算。科学。700、669--681（1993年；Zbl 1418.68134）
全文： DOI程序
南卡桑吉安。；拉贝拉，A。

在连续时间代理上。 （英语） Zbl 1518.68131号

Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 403-425 (1992).
MSC公司：第68季度10 18D20天 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛S.Kasangian｝和\textit｛A.Labella｝，Lect。注释计算。科学。598403-425（1992年；Zbl 1518.68131）
全文： DOI程序
何继峰；C.A.R.霍尔。

编程语言的分类语义。 （英语） Zbl 1509.68035号

Main，M.（ed.）等人，《编程语义的数学基础》。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。442, 402-417 (1990).
MSC公司：68甲15 18 C50 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Jifeng}和\textit{C.A.R.Hoare}，莱克特。注释计算。科学。442402--417（1990年；Zbl 1509.68035）
全文： DOI程序
萨姆森·艾布拉姆斯基

抽象异步网络的广义Kahn原理。 （英语） Zbl 1509.68075号

Main，M.（ed.）等人，《编程语义的数学基础》。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。442, 1-21 (1990).
MSC公司：第68季度10 18B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}，莱克特。注释计算。科学。442，1--21（1990年；Zbl 1509.68075）
全文： DOI程序 arXiv公司
罗斯·卡斯利；船员，罗杰·F。；何塞·梅塞盖尔；沃恩·普拉特

时间结构。 （英语） 兹比尔1493.68241

大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 21-51 (1989).
MSC公司：68问题85 18 C50 18D20天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Casley}等人，Lect。注释计算。科学。389、21-51（1989年；Zbl 1493.68241）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件