蒂鲍特·巴拉邦斯基;安托万·兰科;纪尧姆·梅尔金德 强大的按需计算能力。 (英语) Zbl 07731910号 日志。方法计算。科学。 19,第1号,第21号论文,39页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Balabonski}等人,日志。方法计算。科学。19,第1号,第21号论文,39页(2023;Zbl 07731910) 全文: DOI程序 arXiv公司 OA许可证
德拉赫尚、法扎内赫;弗兰克·芬宁 作为会话型过程的循环证明:局部有效性条件。 (英语) Zbl 07566064号 日志。方法计算。科学。 18,第2号,第8号论文,51页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Derakhshan}和\textit{F.Pfenning},日志。方法计算。科学。18,第2号,第8号论文,51页(2022;Zbl 07566064) 全文: arXiv公司 链接
卡洛斯·阿雷塞斯;劳尔·费尔瓦里 公理化混合了XPath和数据。 (英语) Zbl 07407777号 日志。方法计算。科学。 17,第3号,第5号论文,37页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{R.Fervari},Log。方法计算。科学。17,第3号,第5号论文,37页(2021;Zbl 07407777) 全文: arXiv公司 链接
达斯,阿努帕姆 关于循环算术的逻辑复杂性。 (英语) Zbl 1528.03240号 日志。方法计算。科学。 16,第1期,第1号论文,39页(2020年).MSC公司:30楼03号 20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Das},日志。方法计算。科学。16,第1期,第1号论文,39页(2020年;Zbl 1528.03240) 全文: arXiv公司