Aceto,卢卡;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;佩德森,马蒂亚斯·鲁加德 关于优先权的公理化。三: 优先权再次罢工。 (英语) Zbl 1452.68124号 西奥。计算。科学。 837, 223-246 (2020).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。837223-246(2020年;兹比尔1452.68124) 全文: 内政部
马提亚斯·巴兹;Lolic,阿内拉 由命题插值导出的一阶插值。 (英语) Zbl 1460.03006号 西奥。计算。科学。 837, 209-222 (2020). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:03B50号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{A.Lolic},Theor。计算。科学。837、209--222(2020;Zbl 1460.03006) 全文: 内政部 arXiv公司
阿布达拉,贾拉菲;桑塔纳,法格纳 关于“具有连续间隔的偏序集”的注释。 (英语) Zbl 1484.06027号 西奥。计算。科学。 837, 207-208 (2020).MSC公司:06B35号 54立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{J.Abdala}和\textit{F.Santana},Theor。计算。科学。837、207--208(2020年;Zbl 1484.06027) 全文: 内政部
阿列克桑达尔·迪莫夫斯基。;Legay、Axel;安德烈·沃索斯基 基于游戏的CTL提升模型检查的广义抽象精化。 (英语) Zbl 1460.68058号 西奥。计算。科学。 837, 181-206 (2020).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,Theor。计算。科学。837、181--206(2020年;Zbl 1460.68058) 全文: 内政部
格雷戈·戈斯勒;Jean-Bernard斯特凡尼 基于组件的系统中的因果分析和故障归属。 (英语) 兹比尔1460.68019 西奥。计算。科学。 837, 158-180 (2020).MSC公司:68米15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gössler}和\textit{J.-B.Stefani},Theor。计算。科学。837158-180(2020年;Zbl 1460.68019) 全文: 内政部 哈尔
本尼·基梅尔菲尔德;埃斯特·利夫希茨;利亚特·彼得弗雷德 计算并枚举首选数据库修复。 (英语) Zbl 1473.68066号 西奥。计算。科学。 837, 115-157 (2020).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{B.Kimelfeld}等人,Theor。计算。科学。837115--157(2020年;Zbl 1473.68066) 全文: 内政部
刘宗明;林,西蒙C。 概念格的一般理论和可处理的蕴涵探索。 (英语) Zbl 1506.68151号 西奥。计算。科学。 837, 84-114 (2020).MSC公司:68立方英尺 06B99号 PDF格式BibTeX公司 XML格式引用 \textit{T.-M.Liaw}和\textit{S.C.Lin},Theor。计算。科学。837、84-114(2020年;Zbl 1506.68151) 全文: 内政部 arXiv公司
爱荷华州克里斯特斯库;托马斯·吉文·威尔森;Legay、Axel 并发内涵的表达。 (英语) Zbl 1461.68130号 西奥。计算。科学。 837,54-83(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Cristescu}等人,Theor。计算。科学。837、54-83(2020年;Zbl 1461.68130) 全文: 内政部
Gianluca Curzi;卢卡·罗维斯 线性擦除和复制的一种类型。 (英语) Zbl 1484.03128号 西奥。计算。科学。 837, 26-53 (2020).MSC公司:03楼52 03B40型 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Curzi}和\textit{L.Roversi},Theor。计算。科学。837,26-53(2020;Zbl 1484.03128) 全文: 内政部 arXiv公司
马丁·吕克 关于具有团队语义的线性时序逻辑的复杂性。 (英语) Zbl 1477.68165号 西奥。计算。科学。 837, 1-25 (2020). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.Lück},Theor。计算。科学。837,1--25(2020年;Zbl 1477.68165) 全文: 内政部 arXiv公司