桑杰·贾恩;贾晓东;阿马尔·法廷·萨比利;弗兰克·斯蒂芬 Floyd和Knuth的加法机、自动功能和存在的问题。 (英语) Zbl 07695013号 J.计算。系统。科学。 136, 135-156 (2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,J.Comput。系统。科学。136135-156(2023年;兹bl 07695013) 全文: DOI程序 arXiv公司
维克托·拉盖克维斯特;罗伊,比曼 逆约束问题的复杂性和逆可满足性问题的二分法。 (英语) Zbl 1477.68127号 J.计算。系统。科学。 117, 23-39 (2021).MSC公司:65年第68季度 08A70号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Lagerkvist}和\textit{B.Roy},J.Comput。系统。科学。117、23-39(2021年;Zbl 1477.68127) 全文: DOI程序 链接
罗德尼·唐尼;马修·哈里森·特雷纳;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫;丹尼尔·图雷茨基 对于在线可计算性来说,图形并不是通用的。 (英语) Zbl 1476.03046号 J.计算。系统。科学。 112, 1-12 (2020). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,J.Compute。系统。科学。112、1-12(2020年;Zbl 1476.03046) 全文: DOI程序
奥拉夫·拜尔斯多夫;勒罗伊·周;卡提克Sreenivasaiah 树型Q分辨率大小的游戏特征。 (英语) Zbl 1425.03028号 J.计算。系统。科学。 104, 82-101 (2019).MSC公司:20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人,《计算杂志》。系统。科学。104,82-101(2019年;兹bl 1425.03028) 全文: DOI程序 OA许可证
乔治·巴姆帕利亚斯;安德鲁·刘易斯·佩伊 随机预言计算中的最佳冗余。 (英语) Zbl 1382.68128号 J.计算。系统。科学。 92, 1-8 (2018).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{G.Barmpalias}和\textit{A.Lewis-Pye},J.Comput。系统。科学。92,1-8(2018;Zbl 1382.68128) 全文: DOI程序 arXiv公司 链接
乔治·巴姆帕利亚斯;安德鲁·刘易斯·佩伊 停止概率的差异。 (英语) Zbl 1423.03144号 J.计算。系统。科学。 89, 349-360 (2017).MSC公司:03天32分 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{G.Barmpalias}和\textit{A.Lewis-Pye},J.Comput。系统。科学。89、349--360(2017年;Zbl 1423.03144) 全文: DOI程序 arXiv公司 链接
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;乔纳斯·罗格 基于订单的模态逻辑的可判定性。 (英语) Zbl 1423.03056号 J.计算。系统。科学。 88, 53-74 (2017).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人,《计算杂志》。系统。科学。88、53-74(2017;Zbl 1423.03056) 全文: DOI程序 链接
拉迪姆·贝洛赫拉维克;简·科内克尼 剩余格上闭包系统的基。 (英语) Zbl 1327.03047号 J.计算。系统。科学。 82,第2期,357-365(2016).MSC公司:03G25号 03B52号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{R.Belohlavek}和\textit{J.Konecny},J.Comput。系统。科学。82,第2号,357--365(2016;Zbl 1327.03047) 全文: DOI程序
Laurent Bienvenu;罗德·唐尼;安德烈·涅斯;沃尔夫冈·默克尔 Solovay函数及其在算法随机性中的应用。 (英语) Zbl 1335.03038号 J.计算。系统。科学。 81,第8期,1575-1591(2015). 审核人:路德维希·斯泰格(哈雷/萨勒) MSC公司:03天32分 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}等人,《计算杂志》。系统。科学。81,第8号,1575--1591(2015;Zbl 1335.03038) 全文: DOI程序 arXiv公司
萨姆森·艾布拉姆斯基;乔纳森·兹维斯珀 从劳弗尔到布兰登堡-凯斯勒:对角化和自我参照的互动形式。 (英语) Zbl 1328.03013号 J.计算。系统。科学。 81,5号,799-812(2015).MSC公司:03B42号 03A05号 91A05型 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{J.Zvesper},J.Comput。系统。科学。81,第5号,799--812(2015;Zbl 1328.03013) 全文: DOI程序
安东尼斯·阿奇利奥斯 论证逻辑中的一个复杂性问题。 (英语) Zbl 1327.03010号 J.计算。系统。科学。 80,第6期,1038-1045(2014).MSC公司:03B42号 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Achilleos},J.计算。系统。科学。80,第6号,1038--1045(2014;Zbl 1327.03010) 全文: DOI程序
凯斯,约翰;桑杰·贾恩;Yuh Shin Ong;帕维尔·塞穆金;弗兰克·斯蒂芬 具有反馈查询的自动学习器。 (英语) Zbl 1285.68072号 J.计算。系统。科学。 80,第4期,806-820(2014).MSC公司:68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,J.Compute。系统。科学。80,第4号,806--820(2014;Zbl 1285.68072) 全文: DOI程序
桑杰·贾恩;罗青龙;弗兰克·斯蒂芬 自动类的可学习性。 (英语) Zbl 1250.68137号 J.计算。系统。科学。 78,第6期,1910-1927(2012).MSC公司:68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,J.Comput。系统。科学。78,第6号,1910--1927(2012;Zbl 1250.68137) 全文: DOI程序
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 发现并修复故障。 (英语) Zbl 1263.68112号 J.计算。系统。科学。 78,第2期,441-460(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:60年第68季度 91A80型 03B70号 68纳米30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人,J.计算。系统。科学。78,No.2,441--460(2012;Zbl 1263.68112) 全文: DOI程序
圣地亚哥菲格拉;丹尼尔·戈林;拉斐尔·格林森 类IF逻辑的形式语义。 (英语) Zbl 1197.03028号 J.计算。系统。科学。 76,第5期,333-346(2010).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{S.Figueira}等人,《计算杂志》。系统。科学。76,第5号,333--346(2010;Zbl 1197.03028) 全文: DOI程序 链接
阿尔伯特·阿特塞里亚斯;维克托·达尔摩 分辨率宽度的组合特征。 (英语) Zbl 1133.03034号 J.计算。系统。科学。 74,第3号,323-334(2008).MSC公司:20层03 03B35型 03C13号机组 2017年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{V.Dalmau},J.Comput。系统。科学。74,第3号,323--334(2008;Zbl 1133.03034) 全文: DOI程序 链接
罗德·唐尼;丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。;杰夫·拉福特 c.e.reals的Solovay度结构的不确定性。 (英语) Zbl 1115.03046号 J.计算。系统。科学。 73,第5号,769-787(2007).MSC公司:03天35分 03天30分 03天80 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,J.Compute。系统。科学。73,第5号,769--787(2007;Zbl 1115.03046) 全文: DOI程序
格雷戈里·古汀;Kloks,吨;李传敏;Yeo,安德斯 平面有向图中的核。 (英语) Zbl 1170.68547号 J.计算。系统。科学。 71,第2期,174-184(2005).MSC公司:68兰特 05C69号 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gutin}等人,《计算杂志》。系统。科学。71,第2号,174--184(2005;Zbl 1170.68547) 全文: DOI程序
斯泽德,斯特凡 具有有界子句变量差的最小不可满足公式是固定参数可处理的。 (英语) Zbl 1108.68065号 J.计算。系统。科学。 69,第4期,656-674(2004).MSC公司:65年第68季度 2015年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Szeider},J.计算。系统。科学。69,编号4565-674(2004年;兹bl 1108.68065) 全文: DOI程序 链接
罗德·唐尼。;丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。;杰夫·拉福特 随机性和可简化性。 (英语) 兹比尔1072.03024 J.计算。系统。科学。 68,第1期,96-114(2004).MSC公司:03天80 03日30分 第68季度30 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}等人,J.Compute。系统。科学。68,第1号,96--114(2004;Zbl 1072.03024) 全文: DOI程序
范文飞;杰罗姆·西蒙 XML的完整性约束。 (英语) Zbl 1026.68038号 J.计算。系统。科学。 66,第1期,254-291(2003).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Fan}和\textit{J.Siméon},J.Comput。系统。科学。66,第1号,254--291(2003;Zbl 1026.68038) 全文: DOI程序
彼得·布内曼;范文飞;斯科特·温斯坦 半结构化数据库中的路径约束。 (英语) Zbl 0963.68056号 J.计算。系统。科学。 61,第2期,146-193(2000).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Buneman}等人,《计算杂志》。系统。科学。61,第2号,146--193(2000;Zbl 0963.68056) 全文: DOI程序