罗宾·赫希;马塞尔·杰克逊;托马斯·科瓦尔斯基 定性计算和网络的代数基础。 (英语) 兹比尔1417.68160 西奥。计算。科学。 768, 99-116 (2019).MSC公司:68兰特 03B70号 03G15年 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}等人,Theor。计算。科学。768,99-116(2019年;Zbl 1417.68160) 全文: 内政部 arXiv公司
卢茨斯特拉汉堡 关于MELL的决策问题。 (英语) Zbl 1454.03084号 西奥。计算。科学。 768, 91-98 (2019).MSC公司:03楼52 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{L.Straß汉堡},Theor。计算。科学。768,91-98(2019;Zbl 1454.03084) 全文: 内政部 哈尔
杰伊,巴里 高阶函数的密集计算。 (英语) Zbl 1417.68041号 西奥。计算。科学。 768, 76-90 (2019).MSC公司:第68季度01 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Jay},Theor。计算。科学。768,76-90(2019年;兹bl 1417.68041) 全文: 内政部
彼得·辛图拉;丹尼萨·迪亚科内斯库;乔治·梅特卡夫 格值逻辑的Skolemization和Herbrand定理。 (英语) Zbl 1472.03022号 西奥。计算。科学。 768, 54-75 (2019).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Theor。计算。科学。768,54-75(2019;Zbl 1472.03022) 全文: 内政部 链接
梅赫迪·瓦坦多奥斯特;阿里·阿克巴尔·埃斯塔吉;Rahimeh Pourkhandani 因果结构中的一种广义模态逻辑。 (英语) Zbl 1417.68217号 西奥。计算。科学。 768, 43-53 (2019).MSC公司:68层37 03B45号 68问题85 83C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Vatandoost}等人,Theor。计算。科学。768、43-53(2019年;Zbl 1417.68217) 全文: 内政部
雅各布·M·豪。;国王,安迪;埃克塞尔·西蒙 每个不等式两变量系统的增量闭包。 (英语) Zbl 1417.68103号 西奥。计算。科学。 768, 1-42 (2019).MSC公司:60年第68季度 68号30 68问题55 68瓦40 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{J.M.Howe}等人,Theor。计算。科学。768,1--42(2019年;Zbl 1417.68103) 全文: 内政部