巴托斯·贝德纳西克;彼得·维特科夫斯基 关于在有限数据字上解释的\(\mathbb{C}^2\)的注释。 (英语) Zbl 07760487号 穆尼奥斯·韦拉斯科,埃米利奥(编辑)等人,第27届时间表征和推理国际研讨会。《时代》2020,2020年9月23日至25日,意大利Bozen-Bolzano。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178,第17条,第14页(2020)。MSC公司:03年2月25日 03B44号 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}和\textit{P.Witkowski},LIPIcs——莱布尼茨国际程序。通知。178,第17条,第14页(2020;Zbl 07760487) 全文: 内政部
卡罗·福里亚(Carlo A.Furia)。;斯波莱蒂尼,波拉 度量时态逻辑的有界可变性。 (英语) Zbl 1420.03032号 安。数学。Artif公司。智力。 80,编号3-4,283-316(2017).MSC公司:03B44号 03年2月25日 03B70号 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Furia}和\textit{P.Spoletini},Ann.Math。Artif公司。智力。80,编号3--4,283--316(2017;Zbl 1420.03032) 全文: 内政部 arXiv公司