×

找到41个文档(结果1-41)

有效类别的Promonad和字符串图。 (英语) Zbl 07813638号

杰德(Jade)等硕士,第五届应用范畴理论国际会议论文集,ACT 2022,英国格拉斯哥,2022年7月18日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)380344-361(2023年)。
MSC公司:68倍
PDF格式BibTeX公司 XML格式引用

成分博弈论,成分。 (英语) Zbl 1480.91052号

Spivak,David I.(编辑)等人,《2020年第三届国际应用范畴理论年会论文集》,ACT 2020,美国剑桥,2020年7月6日至10日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)333198-214(2021)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

时空蕴涵。 (英语) Zbl 1498.03023号

Mojtahedi、Mojtaba(编辑)等人,《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆:斯普林格。日志。认识论。统一科学。49, 161-216 (2021).
PDF格式BibTeX公司 XML格式引用

确定性数据流和流处理的语义基础。 (英语) Zbl 1508.68069号

Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12075, 394-427 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反向箭头的可逆效果。 (英语) Zbl 1527.68070号

Staton,Sam(编辑),第34届编程语义数学基础会议论文集(MFPS XXXIV),加拿大哈利法克斯达尔豪西大学,2018年6月6日至9日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。341, 179-199 (2018).
PDF格式BibTeX公司 XML格式引用

从单体附加词中关联成语、箭头和单数。 (英语) Zbl 1525.68044号

Atkey,Robert(ed.)等人,《第七届数学结构化函数编程研讨会论文集》,MSFP 2018,英国牛津,2018年7月8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27518-33(2018)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

概率规划的交换语义。 (英语) 兹比尔1485.68033

Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 855-879 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

量子电路:从网络到单向模型。 (英语) Zbl 1347.68149号

Coecke,Bob(编辑)等人,第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,191-210(2011)。
MSC公司:2005年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用事务内存建模并行量子计算。 (英语) Zbl 1347.68147号

Coecke,Bob(编辑)等人,第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,183-190(2011)。
MSC公司:2005年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
全文: 内政部

成语是不经意的,箭头是一丝不苟的,单子是乱七八糟的。 (英语) Zbl 1291.68168号

Capretta,Venanzio(编辑)等人,《数学结构函数编程第二次研讨会论文集》(MSFP 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第5期,97-117(2011)。
MSC公司:2005年第68季度 18立方厘米 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

什么是箭头的分类模型? (英语) Zbl 1291.68107号

Capretta,Venanzio(编辑)等人,《数学结构函数编程第二次研讨会论文集》(MSFP 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第5期,19-37(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过箭头作为profunctor将计算分类为组件。 (英语) Zbl 1247.68084号

Jacobs,B.(ed.)等人,第十届计算机科学联合算法研讨会论文集(CMCS 2010)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》264,第2期,25-45(2010)。
MSC公司:2005年第68季度 18B20型 18立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多种微观结构中的煤系成分。 (英语) Zbl 1239.68044号

亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。计算机科学课堂讲稿572864-80(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

组合器解析:一个简短的教程。 (英语) Zbl 1250.68083号

Bove,Ana(编辑)等人,《语言工程和严格的软件开发》。2008年2月24日至3月1日,乌拉圭皮里亚波利斯,2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林:施普林格出版社(ISBN 978-3-642-03152-6/pbk)。计算机科学讲座笔记5520,252-300(2009)。
MSC公司:68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同构数据转换的广群。 (英语) Zbl 1247.68048号

Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,170-185(2009)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

箭头演算作为量子编程语言。 (英语) Zbl 1246.68101号

Ono,Hirakira(编辑)等人,《逻辑、语言、信息和计算》。2009年6月21日至24日,第16届国际研讨会,WoLLIC 2009,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02260-9/pbk)。计算机科学课堂讲稿5514。人工智能课堂讲稿,379-393(2009)。
PDF格式BibTeX公司 XML格式引用

计算的共鸣概念。 (英语) Zbl 1279.68088号

Adámek,J.(ed.)等人,第九届计算机科学联合方法研讨会论文集(CMCS 2008),匈牙利布达佩斯,2008年4月4日至6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》203,第5期,263-284(2008)。
MSC公司:2005年第68季度 03B40型 18立方厘米20
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Haskell中的量子箭头。 (英语) Zbl 1279.68047号

Peter Selinger(编辑),《第四届量子编程语言国际研讨会论文集》(QPL 2006),英国牛津,2006年7月17日至19日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记210,139-152(2008)。
MSC公司:68甲18 68甲15 81页68
PDF格式BibTeX公司 XML格式引用
全文: 内政部

iTasks简介:定义web的交互式工作流。 (英语) Zbl 1170.68417号

Horváth,Zoltán(编辑)等人,中欧函数编程学校。2007年6月23日至30日,罗马尼亚Cluj-Napoca,2007年CEFP第二所暑期学校。修订了选定的讲座。柏林:施普林格出版社(ISBN 978-3-540-88058-5/pbk)。计算机科学讲义5161,1-40(2008)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份