亚当·戴，萨姆;尼克·贝扎尼什维利;大卫·加伯里亚;文森佐·马拉 中间逻辑的多面体完备性：神经准则。 （英语） Zbl 07827893号 J.塞姆。日志。 89，编号1，342-382（2024）.MSC公司：03B55型 03B45号 06A07年 06D20日 52个B05 PDF格式BibTeX公司 XML格式引用 \textit{S.Adam-Day}等人，J.Symb。日志。89，编号1，342--382（2024；Zbl 07827893） 全文： DOI程序 arXiv公司
米罗斯拉夫·普洛什切卡;弗里德里希·卫龙 大小为1的MV谱问题的解决方案。 （英语） 兹比尔07783375 J.代数 640, 253-273 (2024).MSC公司：05年6月 06D20日 05年6月 20层06 52A05型 52号B12 52 C35号 PDF格式BibTeX公司 XML格式引用 \textit{M.普洛什切卡}和\textit{F.韦伦格}，J.代数640，253--273（2024；Zbl 07783375） 全文： DOI程序 arXiv公司
玛尔塔·卡丁 抽象凸结构中的分位数。 （英语） Zbl 1432.91036号 公理 7，第2号，第35号论文，第7页（2018年）.MSC公司：91B06型 52A01型 10年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Cardin}，《公理7》，第2期，第35号论文，第7页（2018；Zbl 1432.91036） 全文： DOI程序 OA许可证
托马索·弗拉米尼奥;海克尔·霍斯尼;佛朗哥·蒙塔格纳 在许多有价值的事件上保持严格的一致性。 （英语） Zbl 1447.03001号 J.塞姆。日志。 83，第1号，55-69（2018）.MSC公司：03B48号 03B50号 60级05 05年6月 20层06 52号B11 PDF格式BibTeX公司 XML格式引用 \textit{T.Flaminio}等人，J.Symb。日志。83，编号1，55--69（2018；Zbl 1447.03001） 全文： DOI程序
莱昂纳多·曼纽尔·卡布勒;丹尼尔·蒙迪奇 自由MV-代数和幺正群的幂等自同态。 （英语） Zbl 1362.06003号 J.纯应用。代数 221，第4期，908-934（2017）. 审核人：A.Borumand Saeid（科尔曼） MSC公司：05年6月 20层06 08B30号 52B70型 55单位10 05年第57季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Cabrer}和\textit{D.Mundici}，J.Pure Appl。代数221，No.4，908--934（2017；Zbl 1362.06003） 全文： DOI程序 arXiv公司
布蒂，F。;卡利斯托·德·多纳托（Callisto De Donato），M。;科拉迪尼，F。;M.R.迪·贝拉迪尼。;梅雷利，E。;特塞，L。 面向形状演算的基于抽象的验证。 （英语） Zbl 1283.68235号 Feret，Jéróme（编辑）等人，《第二届静态分析和系统生物学国际研讨会论文集》（SASB 2011），意大利威尼斯，2011年9月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记284，23-34（2012）。MSC公司：68问题85 52B55号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Buti}等人，《电子》。理论注释。计算。科学。284、23-34（2012；Zbl 1283.68235） 全文： DOI程序
丹尼尔·蒙迪奇 Łukasiewicz逻辑中的有限公理化。 （英语） Zbl 1248.03043号 Ann.纯粹应用。逻辑 162，第12期，1035-1047（2011）. 审核人：斯特凡诺·阿古佐利（米兰） MSC公司：03B50号 05年6月 14E05号 52B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici}，Ann.纯苹果。逻辑162，No.12，1035--1047（2011；Zbl 1248.03043） 全文： DOI程序
费德里科·阿迪拉;伊丽莎·曼内娃 修剪过程和凸几何的新特征。 （英语） Zbl 1171.52001号 离散数学。 309，第10号，3083-3091（2009）. 审核人：Juan-Enrique Martínez-Legaz（巴塞罗那） MSC公司：52A01型 51D20号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ardila}和\textit{E.Maneva}，离散数学。309，第10号，3083--3091（2009；Zbl 1171.52001） 全文： DOI程序 arXiv公司