伊兰·科马尔戈德斯基;塔尔·莫兰;莫尼·纳尔;通过,拉斐尔;罗森,阿隆;伊伦·约盖夫 单向函数和(im)完美模糊处理。 (英语) Zbl 1512.68084号 SIAM J.计算。 51,第6期,1769-1795(2022).MSC公司:68第25页 68号30 2015年第68季度 2017年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{I.Komargodski}等人,SIAM J.Compute。51,编号6,1769-1795(2022年;兹bl 1512.68084) 全文: 内政部
弗洛伦特·马德琳。;巴纳比·D·马丁。 关于模型检查问题的复杂性。 (英语) Zbl 1393.68078号 SIAM J.计算。 47,第3期,769-797(2018).MSC公司:65年第68季度 03B70号 2015年1月6日 08A70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Madeline}和\textit{B.D.Martin},SIAM J.Comput。47,第3号,769--797(2018;Zbl 1393.68078) 全文: 内政部 arXiv公司 链接
沃伊切赫·戈拉布;李小舟(史蒂夫);亚历杭德罗·洛佩斯·奥尔蒂斯;内奥米·西村 在多项式时间内计算(k)-原子性。 (英语) Zbl 1391.68012号 SIAM J.计算。 47,第2期,420-455(2018).MSC公司:68米14 68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Golab}等人,SIAM J.Comput。47,第2号,420-455(2018;Zbl 1391.68012) 全文: 内政部
陈,胡比;维克托·达尔摩 分解量化的合取(或析取)公式。 (英语) Zbl 1355.68174号 SIAM J.计算。 45,第6号,2066-2086(2016).MSC公司:60年第68季度 03B20型 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}和\textit{V.Dalmau},SIAM J.Compute。45,第6号,2066--2086(2016;Zbl 1355.68174) 全文: 内政部 链接
伊丽特·迪努尔;巴拉德·哈沙 使用可解码PCP的低错误双查询PCP的组成。 (英语) Zbl 1290.68046号 SIAM J.计算。 42,第6期,2452-2486(2013).MSC公司:2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Dinur}和\textit{P.Harsha},SIAM J.Compute。42,第6号,2452--2486(2013;Zbl 1290.68046) 全文: 内政部
斯特凡·格勒;马库斯·洛伊 单计数器进程和时间自动机的分支时间模型检查。 (英语) Zbl 1275.68092号 SIAM J.计算。 42,第3期,884-923(2013).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}和\textit{M.Lohrey},SIAM J.Compute。42,第3号,884--923(2013;Zbl 1275.68092) 全文: 内政部
Robert M.Hierons。 达到和区分分布式系统的状态。 (英语) Zbl 1209.68299号 SIAM J.计算。 39,第8期,3480-3500(2010).MSC公司:第68季度第45季度 68号30 2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons},SIAM J.计算机。39,第8号,3480-3500(2010;Zbl 1209.68299) 全文: 内政部 链接
哈维尔·埃斯帕尔扎;斯特凡·基弗;迈克尔·卢滕伯格 计算正多项式系统的最小不动点。 (英语) 兹比尔1213.65076 SIAM J.计算。 39,第6期,2282-2335(2010). 审核人:Aurelian Bejancu(萨法特) MSC公司:65H10型 41A25型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,SIAM J.Compute。39,第6号,2282--2335(2010;Zbl 1213.65076) 全文: 内政部
埃尔达尔·菲舍尔;弗雷德里克·马格尼兹;米歇尔·德·罗杰蒙特 近似可满足性和等价性。 (英语) Zbl 1207.68160号 SIAM J.计算。 39,第6期,2251-2281(2010).MSC公司:2017年第68季度 2012年第68季度 第68季度第45季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fischer}等人,SIAM J.Compute。39,第6号,2251--2281(2010;Zbl 1207.68160) 全文: 内政部
亚历克斯·萨莫罗德尼茨基;卢卡·特雷维森 Gowers均匀性、变量影响和PCP。 (英语) Zbl 1185.68353号 SIAM J.计算。 39,第1期,323-360(2009).MSC公司:2017年第68季度 60年第68季度 2010年第68季度 2006年11月 PDF格式BibTeX公司 XML格式引用 \textit{A.Samorodnitsky}和\textit{L.Trevisan},SIAM J.Compute。39,第1号,323--360(2009;Zbl 1185.68353) 全文: 内政部 arXiv公司
马尔钦·尤季扬斯基;迈克·帕特森;乌里·兹威克 求解奇偶博弈的确定性次指数算法。 (英语) Zbl 1173.91326号 SIAM J.计算。 38,第4期,1519-1532(2008).MSC公司:91A43型 91A05型 91A50型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziánski}等人,SIAM J.Compute。38,编号41519-1532(2008年;兹bl 1173.91326) 全文: 内政部
马塞洛·阿里纳斯;范文飞;利奥尼德·利金 关于验证XML规范一致性的复杂性。 (英语) Zbl 1186.68156号 SIAM J.计算。 38,第3号,841-880(2008).MSC公司:第68页,共15页 03B25号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Arenas}等人,SIAM J.Compute。38,第3号,841--880(2008;Zbl 1186.68156) 全文: 内政部 链接
温·范·达姆;弗雷德里克·马格尼兹;米歇尔·莫斯卡;米克洛斯·桑塔 通用和容错量子门集的自我测试。 (英语) Zbl 1137.68017号 SIAM J.计算。 37,第2号,611-629(2007).MSC公司:68米15 94C12年 60年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{W.van Dam}等人,SIAM J.Compute。37,第2号,611--629(2007;Zbl 1137.68017) 全文: 内政部
Shmuel萨夫拉 具有强公平接受条件的\(\omega \)-自动机的指数决定。 (英语) Zbl 1120.68072号 SIAM J.计算。 36,第3期,803-814(2006).MSC公司:第68季度第45季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Safra},SIAM J.计算机。36,第3号,803--814(2006;Zbl 1120.68072) 全文: 内政部
霍斯特、冈纳;沙维特,尼尔 朝向异步复杂性的拓扑特征。 (英语) Zbl 1112.68062号 SIAM J.计算。 36,第2期,457-497(2006).MSC公司:2010年第68季度 2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Hoest}和\textit{N.Shavit},SIAM J.Compute。36,第2号,457--497(2006;Zbl 1112.68062) 全文: 内政部
迪特尔·克拉奇;罗斯·M·麦康奈尔。;库尔特·梅尔霍恩;杰里米·斯宾拉德。 用于识别区间图和置换图的证明算法。 (英语) Zbl 1113.68112号 SIAM J.计算。 36,第2期,326-353(2006).MSC公司:68瓦40 05C85号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kratsch}等人,SIAM J.Compute。36,第2号,326--353(2006;Zbl 1113.68112) 全文: 内政部
卡尔·海因茨·奈格尔;亨宁·旺德利希 证明命令式程序的多项式时间和线性/多项式空间。 (英语) Zbl 1100.68035号 SIAM J.计算。 35,第5期,1122-1147(2006).MSC公司:2015年第68季度 65年第68季度 60年第68季度 2015年3月1日 68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.-H.Niggl}和\textit{H.Wunderlich},SIAM J.Comput。35,第5号,1122--1147(2006;Zbl 1100.68035) 全文: 内政部
乔治·戈特洛布;莱因哈德,皮克勒 模型检验中的超图:无环性和超宽与clique-width。 (英语) Zbl 1062.03028号 SIAM J.计算。 33,第2期,351-378(2004).MSC公司:03C13号机组 05年6月15日 60年第68季度 2017年第68季度 68兰特 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}和\textit{R.Pichler},SIAM J.Compute。33,第2号,351--378(2004;Zbl 1062.03028) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;奥利·沃茨 对最终拜占庭协议的描述。 (英语) Zbl 1017.68007号 SIAM J.计算。 31(2001),第3期,838-865(2002).MSC公司:68米14 68宽15 68号30 68米15 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}等人,SIAM J.Compute。31,编号3838--865(2001;Zbl 1017.68007) 全文: 内政部
Funda Ergün;S.Ravi库马尔;罗尼特·鲁宾菲尔德 检查多项式和函数方程的近似计算。 (英语) Zbl 1052.68056号 SIAM J.计算。 31,第2期,550-576(2001).MSC公司:65年第68季度 60年第68季度 68瓦20 65岁99岁 第13页99 PDF格式BibTeX公司 XML格式引用 \textit{F.Ergün}等人,SIAM J.Compute。31,第2号,550--576(2001;Zbl 1052.68056) 全文: 内政部
格拉兹纳·米尔考斯卡;安德烈·索尔维基;玛丽安,斯雷布尼;安德烈·塔莱基 可编程数据类型的一阶规范。 (英语) Zbl 0980.68070号 SIAM J.计算。 30,第6号,2084-2096(2001).MSC公司:60年第68季度 68第05页 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{G.Mirkowska}等人,SIAM J.Comput。30,第6号,2084--2096(2001;Zbl 0980.68070) 全文: 内政部
乔治·瓦尔盖塞 通过反冲洗实现自我稳定。 (英语) Zbl 0963.68229号 SIAM J.计算。 30,第2期,486-510(2000).MSC公司:68宽10 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Varghese},SIAM J.计算。30,第2号,486--510(2000;Zbl 0963.68229) 全文: 内政部
Funda Ergün;S.Ravi库马尔;西瓦库马尔,D。 无发电机瓶颈的自检。 (英语) Zbl 0949.68073号 SIAM J.计算。 29,第5期,1630-1651(2000).MSC公司:65年第68季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Ergün}等人,SIAM J.Compute。29,第5号,1630--1651(2000;Zbl 0949.68073) 全文: 内政部
斯里达尔·拉贾戈帕兰;伦纳德·J·舒尔曼。 身份验证。 (英语) Zbl 0947.68074号 SIAM J.计算。 第4期第29页,1155-1163页(2000年).MSC公司:65年第68季度 20号05 20号02 PDF格式BibTeX公司 XML格式引用 \textit{S.Rajagopalan}和\textit{L.J.Schulman},SIAM J.Compute。29,第4号,1155--1163(2000;Zbl 0947.68074) 全文: 内政部
艾默生·E·艾伦;查兰吉特·朱特拉。 树自动机和程序逻辑的复杂性。 (英语) 兹比尔0937.68074 SIAM J.计算。 29,第132-158号(1999年).MSC公司:第68季度第45季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{C.S.Jutla},SIAM J.Compute。29,第1号,132--158(1999;Zbl 0937.68074) 全文: 内政部
罗尼特·鲁宾菲尔德 关于函数方程的稳健性。 (英语) Zbl 0943.39012号 SIAM J.计算。 第6期第28页,1972年至1997年(1999年).MSC公司:39亿B82 65年第68季度 39-04 60年第68季度 2005年第65季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubinfeld},SIAM J.计算机。第6号第28页,1972年--1997年(1999年;Zbl 0943.39012) 全文: 内政部
斯蒂芬·蓬齐奥 具有只读分支程序的整数乘法的下限。 (英语) Zbl 0918.68025号 SIAM J.计算。 28,第3期,798-815(1999).MSC公司:2005年第68季度 68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ponzio},SIAM J.计算机。28,第3号,798--815(1999;Zbl 0918.68025) 全文: 内政部
Ar、Sigal公司;理查德·利普顿。;罗尼特·鲁宾菲尔德;苏丹,马杜 从混合数据重建代数函数。 (英语) Zbl 0915.68088号 SIAM J.计算。 28,第2期,487-510(1998).MSC公司:65年第68季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Ar}等人,SIAM J.Comput。28,第2号,487--510(1998;Zbl 0915.68088) 全文: 内政部
哈吉特·阿提亚;罗伊·弗里德曼 高性能多处理器的正确性条件。 (英语) Zbl 0907.68005号 SIAM J.计算。 27,第6期,1637-1670(1998).MSC公司:2007年7月68日 68-02 68第05页 2010年第68季度 68宽10 68宽15 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Attiya}和\textit{R.Friedman},SIAM J.Compute。27,第6号,1637-1670(1998年;Zbl 0907.68005) 全文: 内政部
哈吉特·阿提亚;索马·乔杜里;罗伊·弗里德曼;詹妮弗·韦尔奇。 非顺序执行的共享内存一致性条件:定义和编程策略。 (英语) Zbl 0907.68003号 SIAM J.计算。 27,第1号,65-89(1998).MSC公司:2007年7月68日 2010年第68季度 60年第68季度 68问题65 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.Attiya}等人,SIAM J.Compute。27,第1号,65--89(1998;Zbl 0907.68003) 全文: 内政部
菲利普·吉本斯。;以法莲·科拉 测试共享内存。 (英语) Zbl 0885.68023号 SIAM J.计算。 26,第4期,1208-1244(1997).MSC公司:68米15 2007年7月68日 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Gibbons}和\textit{E.Korach},SIAM J.计算机。26,第4号,1208--1244(1997;Zbl 0885.68023) 全文: 内政部
米查尔·瓦利基;西古尔德·梅尔达尔 奇异和复数不确定参数。 (英语) 兹伯利0885.68110 SIAM J.计算。 26,第4期,991-1005(1997).MSC公司:68问题65 60年第68季度 2010年第68季度 68问题55 03B60号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Walicki}和\textit{S.Meldal},SIAM J.计算机。26,第4号,991--1005(1997;Zbl 0885.68110) 全文: 内政部
罗尼特·鲁宾菲尔德;苏丹,马杜 多项式的稳健特征及其在程序测试中的应用。 (英语) Zbl 0844.68062号 SIAM J.计算。 25,第252-271号(1996年).MSC公司:65年第68季度 68瓦30 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubinfeld}和\textit{M.Sudan},SIAM J.Compute。25,第2号,252--271(1996;Zbl 0844.68062) 全文: 内政部
大卫·哈雷;丹尼·拉兹 决定非规则程序的属性。 (英语) Zbl 0789.03029号 SIAM J.计算。 22,第4期,857-874(1993). 审核人:李翔(贵阳) MSC公司:03B70号 60年第68季度 03B25号 05年3月 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{D.Raz},SIAM J.计算机。22,第4号,857--874(1993;Zbl 0789.03029) 全文: 内政部
J.J.M.M.鲁顿。 并行面向对象语言的语义正确性。 (英语) Zbl 0697.68077号 SIAM J.计算。 19,第2期,341-383(1990).MSC公司:68问题55 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.J.M.M.Rutten},SIAM J.计算机。19,第2号,341--383(1990;Zbl 0697.68077) 全文: 内政部 链接
Ernst Erich多伯卡特 多态类型理想模型中的拓扑完整性。 (英语) Zbl 0678.68079号 SIAM J.计算。 18,第5号,977-989(1989). 审核人:V.库贝克 MSC公司:68问题55 60年第68季度 06年10月 54时25分 54E15型 第54页第40页 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},SIAM J.计算机。18,第5号,977--989(1989;Zbl 0678.68079) 全文: 内政部
卡尔·亚伯拉罕森;安德鲁·阿德勒;雷切尔·盖尔巴特;丽莎·海姆;大卫·柯克帕特里克 环上随机领导者选举的位复杂性。 (英语) Zbl 0674.68029号 SIAM J.计算。 18,第1期,第12-29页(1989年).MSC公司:65年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Abrahamson}等人,SIAM J.Compute。18,编号1,12--29(1989;Zbl 0674.68029) 全文: 内政部
J.A.伯格斯特拉。;Klop,J.W。;E.-R.奥尔德罗。 通信过程代数中的就绪和失败。 (英语) Zbl 0677.68089号 SIAM J.计算。 17,第6期,1134-1177(1988).MSC公司:68问题55 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,SIAM J.Compute。17,第6号,1134--1177(1988;Zbl 0677.68089) 全文: 内政部 链接
马修·轩尼诗 公理化有限并发进程。 (英语) Zbl 0666.68024号 SIAM J.计算。 17,第5期,997-1017(1988). 审核人:A.Maggiolo Schettini(比萨) MSC公司:68问题65 60年第68季度 68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy},SIAM J.计算机。17,第5号,997--1017(1988;Zbl 0666.68024) 全文: 内政部
艾伦·梅克勒。;伊夫林·尼尔森(Evelyn M.Nelson)。 if-then-else的等式基础。 (英语) Zbl 0654.68029号 SIAM J.计算。 16465-485(1987年).MSC公司:68问题65 08B05号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Mekler}和\textit{E.M.Nelson},SIAM J.Compute。16、465--485(1987年;Zbl 0654.68029) 全文: 内政部
彼得·莫塞斯(Peter D.Mosses)。;戈登·普洛金(Gordon D.Plotkin)。 关于证明极限完整性。 (英语) Zbl 0632.68012号 SIAM J.计算。 16, 179-194 (1987).MSC公司:60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Mosses}和\textit{G.D.Plotkin},SIAM J.Compute。16、179--194(1987年;Zbl 0632.68012) 全文: 内政部
伊雷纳游击队;何塞·梅塞盖尔 关于“如果然后是其他”的公理化。 (英语) Zbl 0628.68032号 SIAM J.计算。 16, 332-357 (1987). 审核人:G.乔巴努 MSC公司:68问题65 60年第68季度 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian}和\textit{J.Meseguer},SIAM J.Compute。16、332--357(1987年;Zbl 0628.68032) 全文: 内政部
亨特,H.B.III;D.J.罗森克兰茨。 递归方案和递归程序很难进行指数级分析。 (英语) Zbl 0598.68017号 SIAM J.计算。 15, 831-850 (1986).MSC公司:60年第68季度 68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III}和\textit{D.J.Rosenkrantz},SIAM J.Compute。15831-850(1986年;兹bl 0598.68017) 全文: 内政部
罗希特·帕里赫;阿肖克·钱德拉;乔·哈尔珀;阿尔伯特·迈耶 正则项和过程逻辑应用程序之间的等式。 (英语) Zbl 0587.68031号 SIAM J.计算。 14, 935-942 (1985). 审核人:A.P.斯托尔布什金 MSC公司:68问题65 60年第68季度 03B25号 05年3月 03B45号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Parikh}等人,SIAM J.Compute。14、935--942(1985;Zbl 0587.68031) 全文: 内政部
姚明(Andrew C.Yao)。 关于路径压缩算法的预期性能。 (英语) 兹伯利0563.68043 SIAM J.计算。 14, 129-133 (1985). 审核人:J.Błażewicz MSC公司:65年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Yao},SIAM J.计算机。14、129--133(1985年;Zbl 0563.68043) 全文: 内政部
罗伯特·卡特赖特 递归程序作为一阶逻辑中的定义。 (英语) Zbl 0559.68020号 SIAM J.计算。 13, 374-408 (1984). 审核人:J.Hořejš MSC公司:60年第68季度 68问题65 03D65年 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{R.Cartwright},SIAM J.计算机。13374--408(1984年;兹bl 0559.68020) 全文: 内政部
阿里·德布鲁因 论库克语义学的存在。 (英语) Zbl 0545.68012号 SIAM J.计算。 13, 1-13 (1984). 审核人:N.Curteanu公司 MSC公司:60年第68季度 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{A.de Bruin},SIAM J.计算机。13、1-13(1984年;Zbl 0545.68012) 全文: 内政部
米查·谢里尔;阿米尔·普努利;塞尔吉·哈特 概率程序的验证。 (英语) Zbl 0533.68012号 SIAM J.计算。 13, 292-314 (1984).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sharir}等人,SIAM J.Compute。13、292--314(1984年;Zbl 0533.68012) 全文: 内政部
阿夫拉·科恩 两个语义定义的等价性:LCF中的一个案例研究。 (英语) Zbl 0518.68047号 SIAM J.计算。 12267-285(1983年).MSC公司:68问题55 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohn},SIAM J.计算机。12、267--285(1983年;Zbl 0518.68047) 全文: 内政部
约翰·H·罗兰。;Leslie E.Shader。 向量值递归子程序测试数据的选择。 (英语) 兹比尔0511.68008 SIAM J.计算。 12, 526-538 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Rowland}和\textit{L.E.Shader},SIAM J.Compute。12、526--538(1983年;Zbl 0511.68008) 全文: 内政部
医学博士Smyth。;普洛金,G.D。 递归区域方程的分类理论解。 (英语) Zbl 0493.68022号 SIAM J.计算。 11, 761-783 (1982).MSC公司:60年第68季度 68号01 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Smyth}和\textit{G.D.Plotkin},SIAM J.Comput。11,761--783(1982;Zbl 0493.68022) 全文: 内政部 链接
巴里·罗森。 数据流分析的润滑剂。 (英语) Zbl 0488.68021号 SIAM J.计算。 11, 493-511 (1982).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Rosen},SIAM J.计算机。11、493--511(1982;Zbl 0488.68021) 全文: 内政部
奥斯卡·H·伊巴拉。;Brian S.Leininger。 具有一个输入变量的直线程序。 (英语) Zbl 0486.68010号 SIAM J.计算。 11, 1-14 (1982).MSC公司:60年第68季度 03D60年 03B25号 03天35分 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{B.S.Leininger},SIAM J.Compute。11、1-14(1982;Zbl 0486.68010) 全文: 内政部
奥斯卡·H·伊巴拉。;Brian S.Leininger。 简单无环程序等价问题的复杂性。 (英语) Zbl 0481.68026号 SIAM J.计算。 11, 15-27 (1982).MSC公司:60年第68季度 65年第68季度 2015年3月1日 03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{B.S.Leininger},SIAM J.Compute。11、15--27(1982;Zbl 0481.68026) 全文: 内政部
约翰·赖夫(John H.Reif)。;Robert E.Tarjan。 几乎在最短时间内进行符号程序分析。 (英语) Zbl 0481.68025号 SIAM J.计算。 1981年11月11日至93年(1982年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif}和\textit{R.E.Tarjan},SIAM J.Compute。11、81-93(1982;Zbl 0481.68025) 全文: 内政部
斯蒂芬·库克。 “程序验证公理系统的健全性和完整性”的勘误表。 (英语) Zbl 0466.68015号 SIAM J.计算。 10, 612 (1981).MSC公司:60年第68季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Cook},SIAM J.计算机。10612(1981年;Zbl 0466.68015) 全文: 内政部
约翰·罗兰。;菲利普·戴维斯。 关于递归数学子程序测试数据的选择。 (英语) Zbl 0464.68015号 SIAM J.计算。 10, 59-72 (1981).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Rowland}和\textit{P.J.Davis},SIAM J.Compute。10、59-72(1981年;Zbl 0464.68015) 全文: 内政部
劳伦斯·弗洛恩;铃木、诺里希萨 并行程序的总体正确性。 (英语) Zbl 0463.68024号 SIAM J.计算。 10, 227-246 (1981).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Flon}和\textit{N.铃木},SIAM J.计算机。10227--246(1981年;Zbl 0463.68024) 全文: 内政部
阿米尔·普努利;乔拉·斯卢茨基 有限状态线性程序的自动编程。 (英语) Zbl 0462.68002号 SIAM J.计算。 10, 519-535 (1981).MSC公司:60年第68季度 2005年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{G.Slutzki},SIAM J.Compute。10519-535(1981年;Zbl 0462.68002) 全文: 内政部
斯蒂芬·布鲁姆。;卡尔文·艾尔戈特(Calvin C.Elgot)。;杰西·赖特(Jesse B.Wright)。 定点迭代理论中的向量迭代。 (英语) Zbl 0461.68047号 SIAM J.计算。 9, 525-540 (1980).MSC公司:99年第68季度 18立方厘米 60年第68季度 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}等人,SIAM J.Compute。9、525--540(1980;Zbl 0461.68047) 全文: 内政部
斯蒂芬·布鲁姆。;卡尔文·艾尔戈特(Calvin C.Elgot)。;杰西·赖特(Jesse B.Wright)。 迭代方程的解和标量迭代运算的扩展。 (英语) Zbl 0454.18011号 SIAM J.计算。 9, 25-45 (1980).MSC公司:18立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}等人,SIAM J.Compute。9、25——45(1980;Zbl 0454.18011) 全文: 内政部
巴里·罗森。 用于快速数据流分析的单体。 (英语) Zbl 0448.68007号 SIAM J.计算。 9, 159-196 (1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Rosen},SIAM J.计算机。9、159--196(1980;Zbl 0448.68007) 全文: 内政部
亨特,H.B.III;康斯特布尔,R.L。;萨赫尼,S。 关于程序方案等价的计算复杂性。 (英语) 兹比尔0447.68038 SIAM J.计算。 9, 396-416 (1980).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III}等人,SIAM J.Compute。9、396--416(1980年;Zbl 0447.68038) 全文: 内政部
本特·阿斯普瓦尔;尤西·希洛赫 求解每个不等式有两个变量的线性不等式组的多项式时间算法。 (英语) Zbl 0447.68036号 SIAM J.计算。 9, 827-845 (1980).MSC公司:65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{B.Aspvall}和\textit{Y.Shiloach},SIAM J.Compute。9827--845(1980年;Zbl 0447.68036) 全文: 内政部
阿普特,克日什托夫R。;Meertens,Lambert G.L.T。 递归程序方案的有限中间断言系统的完备性。 (英语) 兹比尔0446.68009 SIAM J.计算。 9, 665-671 (1980).MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{L.G.L.T.Meertens},SIAM J.Compute。9、665--671(1980年;Zbl 0446.68009) 全文: 内政部 链接
约翰·赖夫(John H.Reif)。 代码运动。 (英语) Zbl 0437.68005号 SIAM J.计算。 9, 375-395 (1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif},SIAM J.计算机。9375-395(1980年;Zbl 0437.68005) 全文: 内政部 链接
轩尼诗,M.C.B。 非确定性环境中按值调用和按名称调用的语义。 (英语) Zbl 0437.68002号 SIAM J.计算。 9, 67-84 (1980).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.B.Hennessy},SIAM J.计算机。9、67-84(1980年;Zbl 0437.68002) 全文: 内政部
阿迪·沙米尔 求可约图中最小割集的线性时间算法。 (英语) Zbl 0422.05029号 SIAM J.计算。 8, 645-655 (1979).MSC公司:05C20号 05C35号 68瓦99 05-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Shamir},SIAM J.计算机。8645-655(1979年;Zbl 0422.05029) 全文: 内政部
伊莱恩·韦尤克。 程序模式限制类的可译性和可判定性问题。 (英语) Zbl 0418.68014号 SIAM J.计算。 8, 587-598 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Weyuker},SIAM J.计算机。8、587--598(1979年;Zbl 0418.68014) 全文: 内政部
维杰·阿加瓦尔;詹姆斯·W·伯格迈尔。 四舍五入误差模型及其在算术表达式中的应用。 (英语) Zbl 0406.65022号 SIAM J.计算。 8, 60-72 (1979).MSC公司:65克50 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Aggarwal}和\textit{J.W.Burgmeier},SIAM J.Compute。8,60-72(1979年;兹bl 0406.65022) 全文: 内政部
Ashok K·钱德拉。 通用程序模式。 (英语) Zbl 0382.68018号 SIAM J.计算。 5, 402-413 (1976).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Chandra},SIAM J.计算机。5、402--413(1976年;Zbl 0382.68018) 全文: 内政部