菲利波·邦奇;阿莱西奥·桑塔马利亚 弱分布律的凸性。 (英语) Zbl 07639916号 日志。方法计算。科学。 18,第4号,第8号论文,55页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{A.Santamaria},Log。方法计算。科学。18,第4号,第8号论文,55页(2022;Zbl 07639916) 全文: 内政部 arXiv公司
菲利波·邦奇;阿莱西奥·桑塔马利亚 组合半格和半模。 (英语) Zbl 07410421号 Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650, 102-123 (2021).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{A.Santamaria},Lect。注释计算。科学。12650、102-123(2021;Zbl 07410421) 全文: 内政部 arXiv公司
菲利波·邦奇;丹尼拉·佩特里西安;Damien Pous;朱里安·罗特 到的共同生产的一般说明。 (英语) Zbl 1371.68186号 学报信息。 54,第2期,127-190(2017). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,《信息学报》54,第2期,127--190(2017年;Zbl 1371.68186) 全文: 内政部
菲利波·邦奇;斯特凡·米利厄斯;亚历山德拉·席尔瓦;法比奥·扎纳西 用匕首杀死ε:代数标记结构系统的联合代数研究。 (英语) Zbl 1330.68194号 西奥。计算。科学。 604, 102-126 (2015).MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,Theor。计算。科学。604102-126(2015年;Zbl 1330.68194) 全文: 内政部 arXiv公司