我,Hyeonseung;皮埃尔·杰奈夫耶斯;尼尔斯·盖斯伯特;纳比尔·拉伊达 XML查询的反向类型推理。 (英语) Zbl 1440.68056号 西奥。计算。科学。 823, 69-99 (2020).MSC公司:第68页,共15页 68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Im}等人,Theor。计算。科学。823、69-99(2020年;Zbl 1440.68056) 全文: 内政部 哈尔
Tatsuji Kawai 给出了稳定紧空间的de Groot对偶性。 (英语) 兹比尔1461.06003 西奥。计算。科学。 823, 44-68 (2020). 审核人:徐晓泉(漳州) MSC公司:2012年2月6日 06B35号 54B30型 54D45号 PDF格式BibTeX公司 XML格式引用 \文本{T.Kawai},Theor。计算。科学。823,44-68(2020;Zbl 1461.06003) 全文: 内政部 arXiv公司
阿希姆·布卢门萨特;费利克斯·沃尔夫 有限域中的互模拟不变单子二阶逻辑。 (英语) Zbl 1484.03047号 西奥。计算。科学。 823, 26-43 (2020).MSC公司:03B70号 03B16号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath}和\textit{F.Wolf},Theor。计算。科学。823,26-43(2020;Zbl 1484.03047) 全文: 内政部 arXiv公司 链接
吉安卢卡·阿马托;玛丽亚·希亚拉(Maria Chiara Meo);弗朗西丝卡·斯科扎里 关于为程序分析收集语义。 (英语) Zbl 1440.68167号 西奥。计算。科学。 823, 1-25 (2020).MSC公司:68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Amato}等人,Theor。计算。科学。823,1--25(2020年;Zbl 1440.68167) 全文: 内政部