阿曼多·卡斯塔涅达;奥雷利·胡罗;菲利普·奎因内克;罗伊,马蒂厄 并发算法的模块化证明任务。 (英语) Zbl 07687226号 Inf.计算。 292,文章ID 105040,21 p.(2023).MSC公司:60年第68季度 68问题85 68伏15 68瓦10 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人,《信息计算》。292,文章ID 105040,21 p.(2023;Zbl 07687226) 全文: 内政部 arXiv公司 哈尔
弗洛里安·布鲁斯;约格·克里克;马丁·兰格;马尔科·萨利泽 局部高阶不动点迭代。 (英语) Zbl 1539.68144号 Inf.计算。 289,B部分,文章ID 104963,17 p.(2022).MSC公司:68问题55 08A70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}等人,《信息计算》。289,B部分,文章ID 104963,17 p.(2022;Zbl 1539.68144) 全文: 内政部 arXiv公司
阿莱西奥·曼苏蒂 树上的辅助逻辑:以可达性和子模型推理为特征的逻辑的塔硬度。 (英语) Zbl 1506.03077号 Inf.计算。 285,B部分,文章ID 104911,43 p.(2022).MSC公司:03B70号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mansutti},Inf.计算。285,B部分,文章ID 104911,43 p.(2022;Zbl 1506.03077) 全文: 内政部 OA许可证
尼古拉·贝内什;乌里法伦伯格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 (英语) Zbl 1435.68189号 Inf.计算。 271,文章ID 104487,24 p.(2020).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《信息计算》。271,文章ID 104487,24 p.(2020;Zbl 1435.68189) 全文: 内政部 哈尔
Makoto Tatsuta;魏恩根·钦;马哈穆杜尔·费萨尔·阿梅恩 通过分离逻辑验证指针程序的完整性和表达性。 (英语) Zbl 1422.68038号 Inf.计算。 267, 1-27 (2019).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta}等人,《信息计算》。267,1-27(2019年;兹比尔1422.68038) 全文: 内政部
艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 关于将线性化能力降低到状态可达性。 (英语) 兹比尔1395.68090 Inf.计算。 261,第2部分,383-400(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《Inf.Compute》。261,第2部分,383-400(2018;兹bl 1395.68090) 全文: 内政部 arXiv公司
萨姆·斯塔顿;桑德·尤伊伦 效应代数,预升,非局部性和上下文性。 (英语) Zbl 1396.81013号 Inf.计算。 261,第2部分,336-354(2018).MSC公司:81页第10页 81页40页 第81页,共13页 18英尺20英寸 PDF格式BibTeX公司 XML格式引用 \textit{S.Staton}和\textit{S.Uijlen},信息计算。261,第2部分,336--354(2018;Zbl 1396.81013) 全文: 内政部 链接
布里杰什·多戈尔;Robert M.Hierons。 静态一致性及其变化的可决定性和复杂性。 (英语) Zbl 1380.68294号 Inf.计算。 257, 1-21 (2017).MSC公司:68问题85 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}和\textit{R.M.Hierons},Inf.Comput。257,1--21(2017;Zbl 1380.68294) 全文: 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 (英语) Zbl 1262.03051号 Inf.计算。 211, 106-137 (2012). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:03B70号 03B25号 68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,《信息计算》。211、106-137(2012;Zbl 1262.03051) 全文: 内政部
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 (英语) 兹比尔1200.68224 Inf.计算。 208,第5期,474-499(2010).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人,信息计算。208,第5号,474--499(2010;Zbl 1200.68224) 全文: 内政部 链接
阿努吉·达瓦尔;菲利普·加德纳;乔治·盖利 图逻辑的表达能力和复杂性。 (英语) 兹伯利1114.03028 Inf.计算。 205,第3期,263-310(2007).MSC公司:03B70号 第68页第15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人,《信息计算》。205,第3号,263--310(2007;Zbl 1114.03028) 全文: 内政部 链接
卢卡·保里尼 一种稳定的编程语言。 (英语) Zbl 1094.68013号 Inf.计算。 204,第3期,339-375(2006).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini},Inf.计算。204,第3号,339--375(2006;Zbl 1094.68013) 全文: 内政部
路易斯·凯雷斯;卢卡·卡德利 用于并发的空间逻辑。一、。 (英语) Zbl 1068.03022号 Inf.计算。 186,第2期,194-235(2003). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli},信息计算。186,第2号,194--235(2003;Zbl 1068.03022) 全文: 内政部
乔恩·里克(Jon G.Riecke)。;安德斯·桑德霍姆 按调用值排序的关系帐户。 (英语) Zbl 1096.68019号 Inf.计算。 179,第2期,296-331(2002).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Riecke}和\textit{A.Sandholm},Inf.Compute。179,第296-331号(2002年;兹bl 1096.68019) 全文: 内政部 链接
斯蒂芬·布鲁克斯 并行算法的本质。 (英语) Zbl 1053.68025号 Inf.计算。 179,第1期,118-149(2002).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes},Inf.计算。179,第1号,118--149(2002;Zbl 1053.68025) 全文: 内政部
Furio Honsell;唐纳德·桑内拉 前兆关系。 (英语) Zbl 1012.03039号 Inf.计算。 178,第1期,23-43(2002).MSC公司:03B70号 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}和\textit{D.Sannella},Inf.Compute。178,编号1,23-43(2002;Zbl 1012.03039) 全文: 内政部
美国雷迪。 类Algol语言中的对象和类。 (英语) Zbl 1009.68021号 Inf.计算。 172,第1期,63-97(2002).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{U.S.Reddy},信息计算。172,编号1,63--97(2002;Zbl 1009.68021) 全文: 内政部 链接
萨姆森·艾布拉姆斯基;拉德哈·贾加迪桑;帕斯夸尔马拉卡里亚 PCF的完全抽象。 (英语) Zbl 1006.68028号 Inf.计算。 163,第2号,409-470(2000).MSC公司:68甲18 03B40型 03D20日 18 C50 18D20天 2005年第68季度 68问题55 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}等人,《信息计算》。163,第2号,409--470(2000;Zbl 1006.68028) 全文: 内政部 链接
麦克库斯克,盖伊 游戏和FPC的完全抽象。 (英语) Zbl 1046.68508号 Inf.计算。 160,编号1-2,1-61(2000).MSC公司:68甲18 68问题55 03D65年 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{G.McCusker},Inf.计算。160,编号1--2,1--61(2000;Zbl 1046.68508) 全文: 内政部 链接
兹比格涅夫·斯塔奇尼亚克 一阶逻辑的分辨率近似。 (英语) Zbl 0755.03006号 Inf.计算。 96,第2期,225-244(1992). 审核人:I.Pévéloi(伊阿什伊) MSC公司:03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Stachniak},Inf.计算。96,第2号,225--244(1992;Zbl 0755.03006) 全文: 内政部