Dang,创银;叶银玉 勘误表/更正为:“关于组件排序下扩展Tarski不动点问题的复杂性”。 (英文) Zbl 1432.68176号 西奥。计算。科学。 817, 80 (2020).MSC公司:65年第68季度 06B23号 55平方米 68单位05 91A05型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dang}和\textit{Y.Ye},Theor。计算。科学。81780(2020年;Zbl 1432.68176) 全文: 内政部
Dang,创银;叶银玉 组件排序下扩展Tarski不动点问题的复杂性。 (英文) Zbl 1395.68147号 西奥。计算。科学。 732, 26-45 (2018); 勘误表同上817、80(2020年)。MSC公司:65年第68季度 06B23号 55平方米 68单位05 91A05型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dang}和\textit{Y.Ye},Theor。计算。科学。732,26-45(2018;Zbl 1395.68147) 全文: 内政部
马克·贝泽姆;可口、蒂埃里 单形集的克里普克模型。 (英文) Zbl 1350.18020号 西奥。计算。科学。 574, 86-91 (2015).MSC公司:18G30型 65楼03号 03B15号机组 03B70号 55单位10 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}和\textit{T.Coquand},Theor。计算。科学。574,86-91(2015;Zbl 1350.18020) 全文: 内政部
塞萨尔·多明格斯;朱利奥·鲁比奥 双复形的有效同源性,在Coq中形式化。 (英文) Zbl 1207.68211号 西奥。计算。科学。 412,第11期,962-970(2011).MSC公司:第68季度第65季度 55单元15 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}和\textit{J.Rubio},Theor。计算。科学。412,第11号,962--970(2011;Zbl 1207.68211) 全文: 内政部
蒂莫西·波特 丰富了演化状态空间的类别和模型。 (英文) 邮编1148.18004 西奥。计算。科学。 405,编号1-2,88-100(2008).MSC公司:18D20天 68问题85 55单位10 18秒20 18G55型 18G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.波特},Theor。计算。科学。405,编号1--2,88-100(2008;Zbl 1148.18004) 全文: 内政部
哈迪,K.A。;维特布依,P.J。 拓扑空间和映射的有限关系结构模型。 (英文) 兹比尔1162.55015 西奥。计算。科学。 405,编号1-2,24-34(2008). 审核人:Elias Gabriel Minian(布宜诺斯艾利斯) MSC公司:55单位40 550单位5 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Hardie}和\textit{P.J.Witbooi},Theor。计算。科学。405,编号1--2,24-34(2008;Zbl 1162.55015) 全文: 内政部
马丁·劳恩 互斥模型中的死锁和双同伦。 (英文) Zbl 1110.68089号 西奥。计算。科学。 365,第3期,247-257(2006). 审核人:乔纳森·霍奇森(费城) MSC公司:68问题85 65年第68季度 55页99 PDF格式BibTeX公司 XML格式引用 \文本{M.Raußen},Theor。计算。科学。365,第3号,247--257(2006;Zbl 1110.68089) 全文: 内政部 链接
法斯特鲁普,利斯白;马丁·劳恩;埃里克·古堡 代数拓扑和并发。 (英文) Zbl 1099.55003号 西奥。计算。科学。 357,编号1-3,241-278(2006). 审核人:乔纳森·霍奇森(费城) MSC公司:55页99 99年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup}等人,Theor。计算。科学。357,编号1--3,241--278(2006;Zbl 1099.55003) 全文: 内政部
哈迪,K.A。;南萨班尼。;弗默伦,J.J.C。;维特布依,P.J。 非Hausdorff四元数乘法。 (英文) Zbl 1047.55006号 西奥。计算。科学。 305,编号1-3135-158(2003). 审核人:J.雷梅迪奥斯(拉古纳) MSC公司:55季度25 50年第55季度 06A07年 52B99号 20G20年 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Hardie}等人,Theor。计算。科学。305,编号1--3,135-158(2003;Zbl 1047.55006) 全文: 内政部