威廉·康雷迪;萨利赫·杜尔汗;圭多·西亚维科 线性阶上点和区间的综合一阶理论。二、。 (英语) Zbl 1528.03134号 日志。方法计算。科学。 16,第2号,第1号论文,33页(2020年).MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,日志。方法计算。科学。16,第2号,第1号论文,33页(2020;Zbl 1528.03134) 全文: arXiv公司 链接
威廉·康雷迪;萨利赫·杜尔汗;圭多·西亚维科 线性阶上点和区间的综合一阶理论。一、。 (英语) Zbl 1453.03013号 日志。方法计算。科学。 14,第2号,第15号论文,40页(2018年).MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,日志。方法计算。科学。14,第2号,第15号论文,40页(2018;Zbl 1453.03013) 全文: 内政部 arXiv公司
杜尔汉,S。;Sciavicco,G。 树状结构的类艾伦时间理论。 (英语) Zbl 1436.03122号 Inf.计算。 259,第3部分,375-389(2018).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Durhan}和\textit{G.Sciavicco},信息计算。259,第3部分,375--389(2018;Zbl 1436.03122) 全文: 内政部 链接