×

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

最新 引文 关联
保罗·威尔逊;法比奥·扎纳西

合成的代价：字符串图合成的高性能实现。 （英语） Zbl 1530.18005号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372，262-275（2022）。
MSC公司：18A10号
PDF格式BibTeX公司 XML格式引用
\textit｛P.Wilson｝和\textit｛F.Zanasi｝，电子。程序。西奥。计算。科学。（EPTCS）372，262--275（2022；Zbl 1530.18005）
全文： arXiv公司 链接
杰弗里·S·H·克鲁特韦尔。;布鲁诺加夫拉诺维奇;尼尔·加尼;保罗·威尔逊;法比奥·扎纳西

梯度学习的分类基础。 （英语） Zbl 1528.68339号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 1-28 (2022).
MSC公司：68T05型 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{G.S.H.Cruttwell}等人，Lect。注释计算。科学。13240，1--28（2022；Zbl 1528.68339）
全文： 内政部 arXiv公司
菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西

弦图重写理论。III： 与弗罗贝尼乌斯汇合或不与弗罗贝尼乌斯汇合。 （英语） Zbl 1506.68043号

数学。结构。计算。科学。 32，第7号，829-869（2022）.
MSC公司：第68季度第42季度 2005年5月18日 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，数学。结构。计算。科学。32，编号7829-869（2022；兹bl 1506.68043）
全文： 内政部 arXiv公司
菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西

弦图重写理论。二： 用对称单体结构重写。 （英语） Zbl 1506.68042号

数学。结构。计算。科学。 32，编号4，511-541（2022）.
MSC公司：第68季度第42季度 2005年5月18日 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，数学。结构。计算。科学。32，编号4，511--541（2022；Zbl 1506.68042）
全文： 内政部 arXiv公司
保罗·威尔逊;法比奥·扎纳西

用于机器学习的可微多项式电路的类别。 （英语） Zbl 1514.68266号

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 77-93 (2022).
MSC公司：68T05型 18E05型 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{P.Wilson}和\textit{F.Zanasi}，莱克特。注释计算。科学。13349，77-93（2022；Zbl 1514.68266）
全文： 内政部 arXiv公司
巴特·雅各布斯;亚历克斯·基辛格;法比奥·扎纳西

通过弦图手术进行因果推断。干预和反事实的图解方法。 （英语） Zbl 1506.18022号

数学。结构。计算。科学。 31，第5号，553-574（2021）.
审核人：托比亚斯·弗里茨（因斯布鲁克）
MSC公司：18立方米 68层37 2015年1月62日 60A05型
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}等人，数学。结构。计算。科学。31，编号5，553--574（2021；Zbl 1506.18022）
全文： 内政部
保罗·威尔逊;法比奥·扎纳西

逆导数上升：学习布尔电路的分类方法。 （英语） Zbl 1477.68275号

Spivak，David I.（编辑）等人，《2020年第三届国际应用范畴理论年会论文集》，ACT 2020，美国剑桥，2020年7月6日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）333247-260（2021）。
MSC公司：68T05型 18层40层 68问题32 94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit{P.Wilson}和\textit{F.Zanasi}，电子。程序。西奥。计算。科学。（EPTCS）333247-260（2021年；Zbl 1477.68275）
全文： arXiv公司 链接
巴特·雅各布斯;亚历克斯·基辛格;法比奥·扎纳西

通过字符串图手术进行因果推断。 （英语） Zbl 1524.62060号

Bojañczyk，Mikołaj（编辑）等人，《软件科学和计算结构基础》。第22届国际会议FOSSACS 2019，作为欧洲软件理论与实践联合会议的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11425113-329（2019年）。
MSC公司：62D20型 15B51号 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}等人，Lect。注释计算。科学。11425313--329（2019年；Zbl 1524.62060）
全文： 内政部 arXiv公司
菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西

与弗罗贝尼厄斯一起改写。 （英语） Zbl 1497.68238号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。165-174 (2018).
MSC公司：第68季度第42季度 18立方米
PDF格式BibTeX公司 XML格式引用
\textit｛F.Bonchi｝等人，在：2018年第33届ACM/IEEE计算机科学逻辑年度研讨会论文集，2018年7月9日至12日，英国牛津。纽约州纽约市：计算机协会（ACM）。165-174（2018；Zbl 1497.68238）
全文： 内政部
布伦丹·方;法比奥·扎纳西

（共）关系的通用结构：范畴、单体范畴和道具。 （英语） Zbl 1464.18004号

日志。方法计算。科学。 14，第3号，第14号论文，25页（2018年）.
审核人：罗伯特·罗斯布鲁（萨克维尔）
MSC公司：18B10型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Fong}和\textit{F.Zanasi}，日志。方法计算。科学。14，第3号，第14号论文，25页（2018；Zbl 1464.18004）
全文： 内政部 arXiv公司
布伦丹·方;法比奥·扎纳西

（共同）关系的通用结构。 （英语） 兹比尔1436.68191

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。72，第12条，第16页（2017年）。
MSC公司：68问题55 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{B.Fong}和\textit{F.Zanasi}，LIPIcs——莱布尼茨国际程序。通知。72，第12条，第16页（2017年；Zbl 1436.68191）
全文： 内政部 arXiv公司
菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西

图形重写与接口的融合。 （英语） Zbl 1485.68124号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 141-169 (2017).
MSC公司：第68季度第42季度 18B50型 2005年5月18日
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。10201、141--169（2017；Zbl 1485.68124）
全文： 内政部 链接
菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西

重写模对称单体结构。 （英语） Zbl 1395.68162号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。710-719 (2016).
MSC公司：第68季度第42季度 05C65号 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。710--719（2016；Zbl 1395.68162）
全文： 内政部 arXiv公司 链接
法比奥·扎纳西

部分等价关系的代数。 （英语） Zbl 1395.68190号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325313-333（2016）。
MSC公司：68问题65 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{F.Zanasi}，电子。注释Theor。计算。科学。325313-333（2016；Zbl 1395.68190）
全文： 内政部
巴特·雅各布斯;法比奥·扎纳西

用于贝叶斯学习的谓词/状态转换器语义。 （英语） Zbl 1401.68173号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325185-200（2016）。
MSC公司：68问题55 03B70号 18个C20 2015年1月62日
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}和\textit{F.Zanasi}，电子。注释Theor。计算。科学。325185-200（2016；Zbl 1401.68173）
全文： 内政部
菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西

构成PROP的法律类别。 （英语） Zbl 1475.18028号

Hasuo，Ichiro（编辑），计算机科学中的协代数方法。2016年4月2日至3日，第13届IFIP工作组1.3国际研讨会，CMCS 2016，与ETAPS 2016合办，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9608, 11-32 (2016).
MSC公司：18毫米85英寸 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。9608，11--32（2016；Zbl 1475.18028）
全文： 内政部 哈尔
菲利波·邦奇;斯特凡·米利厄斯;亚历山德拉·席尔瓦;法比奥·扎纳西

如何用匕首杀死艾司隆。一个具有代数标签结构的联合代数系统。 （英语） Zbl 1331.68148号

Bonsange，M.（编辑），计算机科学中的协代数方法。2014年4月5日至6日，第12届IFIP工作组1.3国际研讨会，CMCS 2014，与ETAPS 2014合办，法国格勒诺布尔。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-662-44123-7/pbk；978-3-662-44124-4/ebook）。计算机科学课堂讲稿8446，53-74（2014）。
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。8446、53--74（2014年；Zbl 1331.68148）
全文： 内政部
菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西

信号流图的分类语义。 （英语） Zbl 1417.68119号

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 435-450 (2014).
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。87043435-450（2014年；兹bl 1417.68119）
全文： 内政部 哈尔
菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西

相互作用的双代数是Frobenius。 （英语） Zbl 1395.18009号

Muscholl，Anca（编辑），《软件科学和计算结构基础》。第17届国际会议，FOSSACS 2014，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54829-1/pbk）。计算机科学课堂讲稿8412，351-365（2014）。
MSC公司：18日第10天 16D50型 16节第10节 68问题85 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，Lect。注释计算。科学。8412，351--365（2014；Zbl 1395.18009）
全文： 内政部
菲利波·邦奇;法比奥·扎纳西

联合逻辑编程的饱和语义。 （英语） Zbl 1394.68053号

Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089，80-94（2013）。
MSC公司：68N17号 18个C20 18 C50 2010年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}和\textit{F.Zanasi}，莱克特。注释计算。科学。8089、80-94（2013；Zbl 1394.68053）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件