R·斯塔特曼。 具有副调制的输入分辨率的最坏情况指数下限。 (英语) Zbl 0484.68071号 SIAM J.计算。 9, 104-110 (1980).MSC公司:68吨15 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Statman},SIAM J.计算机。9、104——110(1980;Zbl 0484.68071) 全文: 内政部
斯蒂芬·布鲁姆。;卡尔文·艾尔戈特(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) 全文: 内政部
迈克尔·奥·拉宾。 有限域中的概率算法。 (英语) Zbl 0461.12012号 SIAM J.计算。 9, 273-280 (1980).MSC公司:2006年11月 11路16号 65年第68季度 11T55型 12-04 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Rabin},SIAM J.Comput。9、273--280(1980年;Zbl 0461.12012) 全文: 内政部
理查德·利普顿。;罗伯特·恩德雷·塔尔扬 平面分离器定理的应用。 (英语) Zbl 0456.68077号 SIAM J.计算。 9, 615-627 (1980).MSC公司:68兰特 05C70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Lipton}和\textit{R.E.Tarjan},SIAM J.Compute。9615--627(1980年;Zbl 0456.68077) 全文: 内政部
约翰·吉尔伯特。;托马斯·伦戈尔;罗伯特·恩德雷·塔尔扬 卵石问题在多项式空间中是完全的。 (英语) Zbl 0456.68045号 SIAM J.计算。 9, 513-524 (1980).MSC公司:65年第68季度 68卢比99 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Gilbert}等人,SIAM J.Compute。9513--524(1980年;Zbl 0456.68045) 全文: 内政部
Salvatore D.Morgera。 大型离散傅里叶变换的高效合成和实现。 (英语) Zbl 0456.65077号 SIAM J.计算。 9, 251-272 (1980).MSC公司:65T40型 65年第68季度 42A10号 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Morgera},SIAM J.计算机。9、251--272(1980;Zbl 0456.65077) 全文: 内政部
哈特穆特·埃里格;巴里·罗森。 记录处理的数学。 (英语) Zbl 0455.68021号 SIAM J.计算。 9444-469(1980年).MSC公司:68第05页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{B.K.Rosen},SIAM J.Comput。9、441--469(1980年;Zbl 0455.68021) 全文: 内政部 链接
A.Schönhage。 存储修改机器。 (英语) Zbl 0454.68034号 SIAM J.计算。 9, 490-508 (1980).MSC公司:2005年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.Schönhage},SIAM J.Compute公司。9、490--508(1980;Zbl 0454.68034) 全文: 内政部
斯蒂芬·布鲁姆。;卡尔文·艾尔戈特(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) 全文: 内政部
拉兹洛·巴拜;Erdős,Paul;斯坦利·塞尔科夫。 随机图同构。 (英语) Zbl 0454.05038号 SIAM J.计算。 9, 628-635 (1980).MSC公司:05C35号 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{L.Babai}等人,SIAM J.Comput。9628--635(1980年;Zbl 0454.05038) 全文: 内政部
J·哈特马尼斯。 关于语言不同表现形式的简洁性。 (英语) Zbl 0453.68054号 SIAM J.计算。 9, 114-120 (1980).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hartmanis},SIAM J.计算机。9、114-120(1980年;Zbl 0453.68054) 全文: 内政部
D.Stott jun,Parker。 哈夫曼算法的最优性条件。 (英语) Zbl 0453.68035号 SIAM J.计算。 9, 470-489 (1980); 勘误表同上,第27号,第1317页(1998年)。MSC公司:68兰特 68瓦99 94甲15 第94页第17页 94A24型 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Parker jun.},SIAM J.计算机。9、470--489(1980年;Zbl 0453.68035) 全文: 内政部
杰弗里·杰菲。 类型化任务系统调度的边界。 (英语) Zbl 0453.68004号 SIAM J.计算。 9, 541-551 (1980).MSC公司:68平方米 90B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Jaffe},SIAM J.计算机。9、541--551(1980年;Zbl 0453.68004) 全文: 内政部
艾伦·塔克 圆弧图的有效测试。 (英语) Zbl 0453.05054号 SIAM J.计算。 9,1-24(1980年).MSC公司:05C75号 68瓦99 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Tucker},SIAM J.计算机。9、1--24(1980年;Zbl 0453.05054) 全文: 内政部
特里·拜尔;Sandra Mitchell,Hedetniemi 生根树的恒定时间生成。 (英语) Zbl 0453.05020号 SIAM J.计算。 9, 706-712 (1980).MSC公司:05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{T.Beyer}和\textit{S.M.Hedetniemi},SIAM J.Compute。9706-712(1980年;Zbl 0453.05020) 全文: 内政部
艾伦·乔治;Joseph W.H.Liu。 对称矩阵符号分解的优化算法。 (英语) Zbl 0452.68049号 SIAM J.计算。 9, 583-593 (1980).MSC公司:68瓦30 15A23型 15A06号 65楼30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.George}和\textit{J.W.H.Liu},SIAM J.Compute。9、583--593(1980年;Zbl 0452.68049) 全文: 内政部
Joichi,J.T。;丹尼斯·怀特(Dennis E.White)。;威廉姆森,S.G。 组合格雷码。 (英语) Zbl 0452.0509号 SIAM J.计算。 9130-141(1980年).MSC公司:05A99号 94B05型 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Joichi}等人,SIAM J.Comput。9、130--141(1980;Zbl 0452.0509) 全文: 内政部
Ja'Ja',约瑟夫 关于具有交换性的双线性形式的复杂性。 (英语) Zbl 0451.68035号 SIAM J.计算。 9, 713-728 (1980).MSC公司:65年第68季度 第15页第63页 15A72号 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{J.Ja'Ja'},SIAM J.计算。9、713--728(1980年;Zbl 0451.68035) 全文: 内政部
加迪尔·塞鲁西;亚伯拉罕·伦佩尔 有限域中对称矩阵和迹正交基的因式分解。 (英语) Zbl 0451.15012号 SIAM J.计算。 9, 758-767 (1980).MSC公司:15立方厘米 15A23型 PDF格式BibTeX公司 XML格式引用 \textit{G.Seroussi}和\textit{A.Lempel},SIAM J.计算机。9758--767(1980年;Zbl 0451.15012) 全文: 内政部
科内尔·D·G·。;柯克帕特里克,D.G。 图同构问题的各种启发式的理论分析。 (英语) Zbl 0451.05043号 SIAM J.计算。 9, 281-297 (1980).MSC公司:05C99年 2004年5月 PDF格式BibTeX公司 XML格式引用 \textit{D.G.科内尔}和\textit{D.G柯克帕特里克},SIAM J.计算机。9、281--297(1980;Zbl 0451.05043) 全文: 内政部
布鲁斯·维德(Bruce W.Weide)。 随机图和图优化问题。 (英语) Zbl 0449.05063号 SIAM J.计算。 9, 552-557 (1980).MSC公司:05C99年 PDF格式BibTeX公司 XML格式引用 \textit{B.W.Weide},SIAM J.计算机。9、552--557(1980年;Zbl 0449.05063) 全文: 内政部
David A.Plaisted。 多元多项式在推理规则和不可满足性部分测试中的应用。 (英语) Zbl 0448.68022号 SIAM J.计算。 9, 698-705 (1980).MSC公司:68吨15 65年第68季度 20层03 03B05号 90C05(二氧化碳) 03B35型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted},SIAM J.计算机。9、698--705(1980;Zbl 0448.68022) 全文: 内政部
巴里·罗森。 用于快速数据流分析的单体。 (英语) 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) 全文: 内政部
Lee,D.T。;Wong,C.K。 具有2维存储应用的\(L_1(L_infty)\)度量中的Voronoi图。 (英语) Zbl 0447.68111号 SIAM J.计算。 9, 200-211 (1980).MSC公司:68第20页 65年第68季度 68兰特 68卢比99 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{D.T.Lee}和\textit{C.K.Wong},SIAM J.Compute。9200--211(1980;Zbl 0447.68111) 全文: 内政部
弗拉乔莱特,P。;莱尔·拉姆肖 格雷码与奇偶合并的注记。 (英语) Zbl 0447.68083号 SIAM J.计算。 9, 142-158 (1980).MSC公司:68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{P.Flajolet}和\textit{L.Ramshaw},SIAM J.Compute。9、142--158(1980年;Zbl 0447.68083) 全文: 内政部
黄,F.K。 3个元素与n个元素的最佳合并。 (英语) Zbl 0447.68082号 SIAM J.计算。 9, 298-320 (1980).MSC公司:68卢比99 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{F.K.Hwang},SIAM J.计算机。9、298--320(1980;Zbl 0447.68082) 全文: 内政部
布伦达·S·贝克。;科夫曼(E.G.jun Coffman)。;里维斯,罗纳德·L·。 二维正交填料。 (英语) Zbl 0447.68080号 SIAM J.计算。 9846-855(1980年).MSC公司:68卢比99 68平方米 05B40号 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Baker}等人,SIAM J.Comput。9846-855(1980年;Zbl 0447.68080) 全文: 内政部
科夫曼(E.G.jun Coffman)。;M.R.加里。;D.S.约翰逊。;R.E.塔尔扬。 面向水平的二维布局算法的性能边界。 (英语) Zbl 0447.68079号 SIAM J.计算。 9, 808-826 (1980).MSC公司:68卢比99 05B40号 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Coffman jun.}等人,SIAM J.Compute。9808--826(1980年;Zbl 0447.68079) 全文: 内政部
姚明(Andrew C.Yao)。;里维斯,罗纳德·L·。 关于多面体决策问题。 (英语) Zbl 0447.68076号 SIAM J.计算。 9, 343-347 (1980).MSC公司:68卢比99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Yao}和\textit{R.L.Rivest},SIAM J.计算机。9、343--347(1980年;Zbl 0447.68076) 全文: 内政部
Mila E.Majster。;安吉丽卡·赖瑟 位置树的高效在线构建和校正。 (英语) Zbl 0447.68072号 SIAM J.计算。 9, 785-807 (1980).MSC公司:68兰特 2004年5月 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster}和\textit{A.Reiser},SIAM J.Comput。9875-807(1980年;兹bl 0447.68072) 全文: 内政部 链接
大卫·纳西米;萨赫尼,萨尔塔吉 在网状连接的并行计算机上查找连接的组件和连接的组件。 (英语) Zbl 0447.68070号 SIAM J.计算。 9, 744-757 (1980).MSC公司:68兰特 05C40号 65年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Nassimi}和\textit{S.Sahni},SIAM J.计算机。9、744--757(1980年;Zbl 0447.68070) 全文: 内政部
艾坦·古拉里(Eitan M.Gurari)。;奥斯卡·H·伊巴拉。 路径系统:构造、解决方案和应用。 (英语) Zbl 0447.68049号 SIAM J.计算。 9, 348-374 (1980).MSC公司:99年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Gurari}和\textit{O.H.Ibarra},SIAM J.Compute。9、348--374(1980年;Zbl 0447.68049) 全文: 内政部
钱德拉·M·R·金塔拉。;帕特里克·C·菲舍尔。 细化相对多项式时间有界计算中的不确定性。 (英语) Zbl 0447.68044号 SIAM J.计算。 9, 46-53 (1980).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.M.R.Kintala}和\textit{P.C.Fischer},SIAM J.Compute。9、46-53(1980年;Zbl 0447.68044) 全文: 内政部
Wong,C.K。;伊斯顿,M.C。 一种无需替换的加权采样的有效方法。 (英语) Zbl 0447.68040号 SIAM J.计算。 9, 111-113 (1980).MSC公司:65年第68季度 62D05型 PDF格式BibTeX公司 XML格式引用 \textit{C.K.Wong}和\textit{M.C.Easton},SIAM J.Compute。9、111--113(1980年;Zbl 0447.68040) 全文: 内政部
亨特,H.B.III;康斯特布尔,R.L。;萨赫尼,S。 关于程序方案等价的计算复杂性。 (英语) Zbl 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) 全文: 内政部
尼古拉斯·皮彭格 关于权力和单项式的评估。 (英语) Zbl 0447.68035号 SIAM J.计算。 9, 230-250 (1980).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Pippenger},SIAM J.计算机。92230-250(1980年;兹bl 0447.68035) 全文: 内政部 链接
戴维·多布金;理查德·利普顿。 计算特定多项式的加法链方法。 (英语) Zbl 0447.68034号 SIAM J.计算。 9, 121-125 (1980).MSC公司:65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Dobkin}和\textit{R.J.Lipton},SIAM J.Compute。9、121--125(1980;Zbl 0447.68034) 全文: 内政部
布伦特,R.P。;特劳布,J.F。 关于幂级数合成和广义合成的复杂性。 (英语) Zbl 0447.68033号 SIAM J.计算。 9, 54-66 (1980).MSC公司:65年第68季度 68瓦30 13层25 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Brent}和\textit{J.F.Traub},SIAM J.Compute。9、54-66(1980年;Zbl 0447.68033) 全文: 内政部 内政部
斯蒂芬·布鲁姆。;拉尔夫·廷德尔 树的度量理论上的相容序。 (英语) Zbl 0447.05026号 SIAM J.计算。 9, 683-691 (1980).MSC公司:05二氧化碳 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{R.Tindell},SIAM J.Comput。6863-691(1980年;兹bl 0447.05026) 全文: 内政部
保罗·K·斯托克迈尔。;姚,F.Frances 关于线性合并的最优性。 (英语) Zbl 0446.68059号 SIAM J.计算。 9, 85-90 (1980).MSC公司:68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Stockmeyer}和\textit{F.Yao},SIAM J.Compute。9、85-90(1980年;Zbl 0446.68059) 全文: 内政部
尤西·希洛赫 平面图的多端最小割算法。 (英语) Zbl 0446.68055号 SIAM J.计算。 9, 219-224 (1980).MSC公司:68兰特 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shiloach},SIAM J.计算机。9、219--224(1980年;Zbl 0446.68055) 全文: 内政部
兹维·加利勒 求图的顶点连通性。 (英语) Zbl 0446.68053号 SIAM J.计算。 9, 197-199 (1980).MSC公司:68兰特 05C40号 2004年5月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Galil},SIAM J.计算机。9、197--199(1980年;Zbl 0446.68053) 全文: 内政部
拉兹洛·巴拜 关于强正则图的正则标记的复杂性。 (英语) 兹比尔0446.68052 SIAM J.计算。 9, 212-216 (1980).MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Babai},SIAM J.计算机。9、212--216(1980;Zbl 0446.68052) 全文: 内政部
利奥·吉巴斯(Leo J.Guibas)。;安德鲁·奥德利斯科。 Boyer-Moore字符串搜索算法线性度的新证明。 (英语) Zbl 0446.68050号 SIAM J.计算。 9, 672-682 (1980).MSC公司:第68页第10页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{L.J.Guibas}和\textit{A.M.Odlyzko},SIAM J.Compute。9672--682(1980年;Zbl 0446.68050) 全文: 内政部
沃伊切赫·莱特 Boyer-Moore字符串搜索的正确预处理算法。 (英语) Zbl 0446.68049号 SIAM J.计算。 9, 509-512 (1980).MSC公司:第68页第10页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{W.Rytter},SIAM J.计算机。9509--512(1980年;Zbl 0446.68049) 全文: 内政部
马克·R·布朗。;Robert E.Tarjan。 设计和分析用于表示排序列表的数据结构。 (英语) Zbl 0446.68047号 SIAM J.计算。 9, 594-614 (1980).MSC公司:第68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Brown}和\textit{R.E.Tarjan},SIAM J.Compute。9、594--614(1980年;Zbl 0446.68047) 全文: 内政部 链接
D.S.Hirschberg。 关于搜索向量集的复杂性。 (英语) 兹比尔0446.68046 SIAM J.计算。 9, 126-129 (1980).MSC公司:第68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Hirschberg},SIAM J.计算机。9、126--129(1980年;Zbl 0446.68046) 全文: 内政部 链接
兹维·加利勒;乔尔·塞菲亚斯 节省快速字符串匹配的空间。 (英语) 兹比尔0446.68041 SIAM J.计算。 9, 417-438 (1980).MSC公司:65年第68季度 2005年第68季度 第68页第10页 68吨10 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Galil}和\textit{J.Seiferas},SIAM J.Compute。9、417--438(1980年;Zbl 0446.68041) 全文: 内政部
罗纳德·V·布克。;弗朗茨·约瑟夫勃兰登堡 等式集和复杂性类。 (英语) Zbl 0446.68040号 SIAM J.计算。 9, 729-743 (1980).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Book}和\textit{F.-J.Brandenburg},SIAM J.Compute。9729-743(1980年;Zbl 0446.68040) 全文: 内政部
达里奥·比尼;格拉齐亚·洛蒂;弗朗西斯科·罗马尼 双线性形式计算问题的近似解。 (英语) 兹比尔0446.68035 SIAM J.计算。 692-697(1980年).MSC公司:65年第68季度 65层99 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{D.Bini}等人,SIAM J.Compute。9、692--697(1980年;Zbl 0446.68035) 全文: 内政部
潘,V.Ya。 矩阵运算的新快速算法。 (英语) Zbl 0446.68034号 SIAM J.计算。 9, 321-342 (1980).MSC公司:65年第68季度 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{V.Ya.Pan},SIAM J.计算机。9、321--342(1980年;Zbl 0446.68034) 全文: 内政部
温诺格拉德,S。 关于多项式模的乘法。 (英语) Zbl 0446.68032号 SIAM J.计算。 9, 225-229 (1980).MSC公司:65年第68季度 12E05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Winograd},SIAM J.计算机。9225-229(1980年;Zbl 0446.68032) 全文: 内政部
Cho,Yookun先生;萨赫尼,萨尔塔吉 统一处理器上列表调度的边界。 (英语) Zbl 0446.68025号 SIAM J.计算。 9, 91-103 (1980).MSC公司:68平方米 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cho}和\textit{S.Sahni},SIAM J.Compute。9,91-103(1980年;兹bl 0446.68025) 全文: 内政部
Krzysztof R.阿普特。;Meertens,Lambert G.L.T。 递归程序方案的有限中间断言系统的完备性。 (英语) Zbl 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) 全文: 内政部 链接
Tai、Kuo-Chung 上下文无关语法的预测符。 (英语) Zbl 0445.68065号 SIAM J.计算。 9, 653-664 (1980).MSC公司:68N20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.-C.Tai},SIAM J.计算机。9653-664(1980年;Zbl 0445.68065) 全文: 内政部
劳勒,E.L。;Lenstra,J.K。;A.H.G.林诺伊·坎。 生成所有最大独立集:NP-hardness和多项式时间算法。 (英语) Zbl 0445.68054号 SIAM J.计算。 9, 558-565 (1980).MSC公司:68卢比99 68兰特 65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lawler}等人,SIAM J.Compute。9558-565(1980年;Zbl 0445.68054) 全文: 内政部 链接
姚,Andrew Chi-Chih 选择网络上的边界。 (英语) Zbl 0445.68045号 SIAM J.计算。 9, 566-582 (1980).MSC公司:第68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.C.C.Yao},SIAM J.计算机。9566-582(1980年;Zbl 0445.68045) 全文: 内政部
斯蒂芬·库克。;查尔斯·莱科夫。 受限机器上迷宫线程化的空间下限。 (英语) Zbl 0445.68038号 SIAM J.计算。 9, 636-652 (1980).MSC公司:65年第68季度 2005年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Cook}和\textit{C.W.Rackoff},SIAM J.Compute。9636-652(1980年;Zbl 0445.68038) 全文: 内政部
杰罗姆·费尔德曼。;阿尼尔·尼格姆 基于消息的系统的模型和证明技术。 (英语) Zbl 0442.68015号 SIAM J.计算。 9, 768-784 (1980).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Feldman}和\textit{A.Nigam},SIAM J.Compute。9768--784(1980年;Zbl 0442.68015) 全文: 内政部
约翰·赖夫(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年;兹bl 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) 全文: 内政部