克里斯·科彻 可靠和有损队列自动机上的可达性问题。 (英语) Zbl 1503.68174号 理论计算。系统。 65,第8期,1211-1242(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Köcher},理论计算。系统。65,第8号,1211--1242(2021;Zbl 1503.68174) 全文: 内政部
帕特里克·加迪;帕特里夏·布耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) Zbl 1484.68100号 理论计算。系统。 64,第3期,467-507(2020年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardy}等人,理论计算。系统。64,第3号,467--507(2020;Zbl 1484.68100) 全文: 内政部 链接
纳塔娜·菲亚尔科夫;奥尔曼,皮埃尔;约尔·瓦克宁;阿默里·波利;詹姆斯·沃雷尔 Kannan-Lipton轨道问题的完全半代数不变综合。 (英语) Zbl 1461.37028号 理论计算。系统。 63,第5期,1027-1048(2019).MSC公司:37C35个 37C79号 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人,理论计算。系统。63,第5号,1027--1048(2019;Zbl 1461.37028) 全文: 内政部 arXiv公司 哈尔
亚历山德鲁·乔尔吉;西奥多罗斯·卡波尼奥蒂斯;埃勒姆·卡舍菲 量子计算验证:现有方法概述。 (英语) Zbl 1423.68281号 理论计算。系统。 63,第4期,715-808(2019).MSC公司:60年第68季度 81页68 81页94 PDF格式BibTeX公司 XML格式引用 \textit{A.Gheorghiu}等人,《理论计算》。系统。63,编号4,715--808(2019;Zbl 1423.68281) 全文: 内政部 arXiv公司
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 一个量化变量的分离逻辑。 (英语) Zbl 1435.68117号 理论计算。系统。 61,第2号,371-461(2017).MSC公司:65年第68季度 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,理论计算。系统。61,第2号,371--461(2017;Zbl 1435.68117) 全文: 内政部 哈尔
贝内迪克特·博利格;迪特里赫·库斯克;罗伊·门尼克 模型检验的复杂性。 (英语) 兹比尔1372.68164 理论计算。系统。 60,第4期,695-736(2017).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,理论计算。系统。60,第4号,695--736(2017;Zbl 1372.68164) 全文: 内政部 链接
希拉·迪瓦达斯;罗尼特·鲁宾菲尔德 整数上线性函数的自测器,具有正确性的初等证明。 (英语) Zbl 1350.68284号 理论计算。系统。 59,第1期,99-111(2016).MSC公司:68瓦20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Devadas}和\textit{R.Rubinfeld},理论计算。系统。59,第1号,99-111(2016;Zbl 1350.68284) 全文: 内政部 arXiv公司
艾迪特·基达尔;德米特里·佩雷尔曼 避免事务内存中的空闲中止。 (英语) 兹比尔1320.68055 理论计算。系统。 57,第1期,261-285(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Keidar}和\textit{D.Perelman},理论计算。系统。57,第1号,261--285(2015;Zbl 1320.68055) 全文: 内政部
沃伊切赫,切尔文斯基;彼得·霍夫曼;Sławomir拉索塔 赋范交换无上下文过程分支互模拟的判定性。 (英语) Zbl 1319.68147号 理论计算。系统。 55,第1期,136-169(2014).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人,理论计算。系统。55,No.1,136--169(2014;Zbl 1319.68147) 全文: 内政部
科尔、利亚;阿莫斯·科尔曼;大卫·佩莱格 分布式最小重量生成树验证的严格界限。 (英语) Zbl 1286.68317号 理论计算。系统。 53,第2期,318-340(2013).MSC公司:60年第68季度 68宽15 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Kor}等人,《理论计算》。系统。53,No.2,318--340(2013;Zbl 1286.68317) 全文: 内政部 arXiv公司
乌尔里希·伯杰;莫尼卡·塞森伯格 证明、程序、过程。 (英语) Zbl 1280.68078号 理论计算。系统。 51,第3期,313-329(2012).MSC公司:68号30 35层03 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{M.Seisenberger},理论计算。系统。51,第3号,313--329(2012;Zbl 1280.68078) 全文: 内政部
凯斯,约翰;塞缪尔·莫利乌斯(Samuel E.III Moelius) 在建设性Scott子域中规划自我参考。 (英语) Zbl 1285.03053号 理论计算。系统。 51,第1期,22-49(2012).MSC公司:03D20日 03D45号 06B35号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{S.E.Moelius III},理论计算。系统。51、第1号、第22-49号(2012;Zbl 1285.03053) 全文: 内政部
Jan A.Bergstra。;英格·贝斯克 取消草地上总计算的直线指令序列完整性。 (英语) Zbl 1217.68141号 理论计算。系统。 第4期第48页,第840-864页(2011年).MSC公司:68问题65 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},理论计算。系统。48,第4号,840--864(2011;Zbl 1217.68141) 全文: 内政部 链接
拉克希米·马纳萨;桑卡拉·纳拉亚南·克里希纳;钦梅耆那岛 模型检查加权整数重置时间自动机。 (英语) Zbl 1217.68139号 理论计算。系统。 48,第3期,648-679(2011).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Manasa}等人,理论计算。系统。48,第3号,648--679(2011;Zbl 1217.68139) 全文: 内政部
斯特凡·格勒;马库斯·洛伊 层次结构上的定点逻辑。 (英语) 兹比尔1209.68320 理论计算。系统。 48,第1期,93-131(2011).MSC公司:60年第68季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}和\textit{M.Lohrey},理论计算。系统。48,第1号,93--131(2011;Zbl 1209.68320) 全文: 内政部
阿卜杜勒·劳夫,罗斯·H。;乌尔里希·伯杰;安东·塞泽尔 将(lambda)-演算转换为C++数学模型的可证明正确的翻译。 (英语) Zbl 1166.68009号 理论计算。系统。 43,编号3-4,298-321(2008).MSC公司:68甲18 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Abdul Rauf}等人,《理论计算》。系统。43,编号3--4,298--321(2008;Zbl 1166.68009) 全文: 内政部 链接
罗兰·巴克豪斯;亨克·多恩博斯 数据类型通用终端证明。 (英语) Zbl 1166.68027号 理论计算。系统。 43,编号3-4,362-393(2008).MSC公司:68问题65 03G15年 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{H.Doornbos},理论计算。系统。43,编号3--4,362--393(2008;Zbl 1166.68027) 全文: 内政部 链接
阿尔班·蓬塞;范德兹瓦格,马克B。 单面螺纹的风险评估。 (英语) Zbl 1166.68010号 理论计算。系统。 43,编号3-4,563-582(2008).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse}和\textit{M.B.van der Zwaag},理论计算。系统。43,编号3--4,563--582(2008;Zbl 1166.68010) 全文: 内政部
布莱斯·基内斯特;安卡·穆斯科尔 分层消息序列图的模式匹配和成员身份。 (英语) Zbl 1140.68038号 理论计算。系统。 42,第4期,536-567(2008).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}和\textit{A.Muscholl},理论计算。系统。42,第4号,536--567(2008;Zbl 1140.68038) 全文: 内政部
沃伊切赫·贾姆罗加;于尔根·迪克斯 代理的模型检查能力:仔细观察。 (英语) Zbl 1136.68036号 理论计算。系统。 42,第3期,366-410(2008).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{J.Dix},理论计算。系统。42,第3号,366--410(2008;Zbl 1136.68036) 全文: 内政部
米拉德·尼基 构造型理论中Edalat-Potts精确算法的生产力。 (英语) Zbl 1127.68028号 理论计算。系统。 第1期第41页,第127-154页(2007年).MSC公司:2005年第68季度 60年第68季度 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Niqui},理论计算。系统。41,第1号,127--154(2007;Zbl 1127.68028) 全文: 内政部
迪特马尔·伯旺格;埃里希·格拉德尔;贾科莫·伦齐 微积分的变量层次结构是严格的。 (英语) Zbl 1121.68072号 理论计算。系统。 40,第4期,437-466(2007).MSC公司:60年第68季度 03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}等人,理论计算。系统。40,第4号,437--466(2007;Zbl 1121.68072) 全文: 内政部
理查德·高尔特(Richard L.Gault)。;伊恩·斯图尔特(Iain A.Stewart)。 一类多项式时间程序方案中的无限层次。 (英语) Zbl 1100.68013号 理论计算。系统。 39,第5期,753-783(2006).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Gault}和\textit{I.A.Stewart},理论计算。系统。39,第5号,753--783(2006;Zbl 1100.68013) 全文: 内政部 链接
迪特马尔·伯旺格;埃里希·格拉德尔 定点逻辑和纸牌游戏。 (英语) Zbl 1061.68100号 理论计算。系统。 37,第6号,675-694(2004).MSC公司:60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}和\textit{E.Grädel},理论计算。系统。37,第6号,675--694(2004;Zbl 1061.68100) 全文: 内政部
马库斯·弗里克 局部树可分解类上的广义模型检查。 (英语) Zbl 1101.68727号 理论计算。系统。 37,第1期,157-191(2004).MSC公司:68兰特 68周05 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Frick},理论计算。系统。37,第1号,157--191(2004;Zbl 1101.68727) 全文: 内政部
丹尼斯·塞里安;托马斯·威尔克 在线性时序逻辑中嵌套直到和之后。 (英语) Zbl 1130.03014号 理论计算。系统。 37,第1期,第111-131页(2004年).MSC公司:03B44号 03B70号 05年3月 20立方米 60年第68季度 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Thérien}和\textit{T.Wilke},理论计算。系统。37,编号1,111--131(2004;Zbl 1130.03014) 全文: 内政部
阿希姆·布卢门萨特 公理化树解释结构。 (英语) 兹比尔1070.03017 理论计算。系统。 37,第1期,3-27(2004). 审核人:马格努斯·斯坦比(图尔库) MSC公司:03B70号 03C80号 03C85号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath},理论计算。系统。37,第1号,第3--27号(2004;Zbl 1070.03017) 全文: 内政部
锡罗蒂乌克,V.R。;科尔伯恩,C.J。;J.帕希尔。 匿名环面网络上的Wang平铺和分布式验证。 (英语) Zbl 0870.68028号 理论计算。系统。 30,第2期,145-163(1997).MSC公司:68米99 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Syrotiuk}等人,理论计算。系统。30,第2号,145--163(1997;Zbl 0870.68028) 全文: 内政部