安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 具有等价关系的度量命题邻域逻辑。 (英文) Zbl 1350.68185号 学报信息。 53,编号6-8,621-648(2016).MSC公司:60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,《学报》第53期,第6--8、621--648号(2016年;Zbl 1350.68185) 全文: 内政部 链接
安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 向区间时序逻辑添加一个或多个等价关系。 (英文) Zbl 1408.03011号 西奥。计算。科学。 629116-134(2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,Theor。计算。科学。629、116--134(2016;Zbl 1408.03011) 全文: 内政部