迈克尔·奥·拉宾。 信标交易保护。 (英语) Zbl 0576.94016号 J.计算。系统。科学。 27, 256-267 (1983).MSC公司:94A99型 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Rabin},J.计算。系统。科学。27256-267(1983年;兹bl 0576.94016) 全文: DOI程序
伊特,马萨诺布;Ô佐藤,Nobuyasu;Masakazu Nasu (Z_m\)上的线性细胞自动机。 (英语) Zbl 0566.68047号 J.计算。系统。科学。 27, 125-140 (1983).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Itó}等人,《计算杂志》。系统。科学。27125-140(1983年;Zbl 0566.68047) 全文: DOI程序
理查德·赫尔 非循环联接依赖项和数据库投影。 (英语) Zbl 0549.68092号 J.计算。系统。科学。 27, 331-349 (1983). 审核人:D.迈尔 MSC公司:68第20页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Hull},J.计算。系统。科学。27、331--349(1983年;Zbl 0549.68092) 全文: DOI程序
南希·林奇。;迈克尔·菲舍尔。 一种分解使用单个共享变量的算法的技术。 (英语) Zbl 0549.68014号 J.计算。系统。科学。 27, 350-377 (1983).MSC公司:68N25号 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Lynch}和\textit{M.J.Fischer},J.Comput。系统。科学。27350-377(1983年;Zbl 0549.68014) 全文: DOI程序
道格拉斯·特洛伊格(Douglas R.Troeger)。 D方案强等价的公理化。 (英语) Zbl 0547.68019号 J.计算。系统。科学。 27, 221-224 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Troeger},J.计算。系统。科学。27、221--224(1983年;Zbl 0547.68019) 全文: DOI程序
理查德·洛伦茨。;大卫·本森。 确定性和非确定性流程图解释。 (英语) Zbl 0544.68010号 J.计算。系统。科学。 27, 400-433 (1983).MSC公司:60年第68季度 68号01 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Lorentz}和\textit{D.B.Benson},J.Comput。系统。科学。27400-433(1983年;Zbl 0544.68010) 全文: DOI程序
路德维希·施泰格 有限状态\(\omega\)-语言。 (英语) Zbl 0541.68052号 J.计算。系统。科学。 27, 434-448 (1983). 审核人:A.所罗门群岛 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Staiger},J.计算。系统。科学。27434--448(1983年;Zbl 0541.68052) 全文: DOI程序
埃吉迪奥·阿斯泰西亚诺;杰拉尔多·科斯塔 非约化自反类型的不敏感定理。 (英语) Zbl 0537.68035号 J.计算。系统。科学。 27, 389-399 (1983). 审核人:N.Curteanu公司 MSC公司:第68季度第65季度 60年第68季度 第三天65 03B40型 03D55号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}和\textit{G.Costa},J.Compute。系统。科学。27389--399(1983年;Zbl 0537.68035) 全文: DOI程序
Edward K·布鲁姆。;弗朗西斯科·帕里西·普雷西奇 通过代数方法实现数据类型。 (英语) Zbl 0537.68026号 J.计算。系统。科学。 27, 304-330 (1983).MSC公司:68第05页 68号01 08A99年 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Blum}和\textit{F.Parisi-Prescce},J.Compute。系统。科学。27304-330(1983年;Zbl 0537.68026) 全文: DOI程序
弗朗西斯科·帕里西·普雷西奇 自由迭代代数的迭代同余的扩张。 (英语) Zbl 0537.68023号 J.计算。系统。科学。 27, 200-220 (1983).MSC公司:60年第68季度 08A99年 68号01 08立方厘米99 PDF格式BibTeX公司 XML格式引用 \textit{F.Parisi-Prescce},J.计算。系统。科学。27200-220(1983年;Zbl 0537.68023) 全文: DOI程序
玛莎·斯蒂斯特鲁普;迈克尔·阿尔比布(Michael A.Arbib)。;欧内斯特·马内斯。 端口自动机和并发进程代数。 (英语) Zbl 0535.68025号 J.计算。系统。科学。 27,29-50(1983年). 审核人:R.Janicki公司 MSC公司:65年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Steenstrup}等人,《计算杂志》。系统。科学。27、29——50(1983年;Zbl 0535.68025) 全文: DOI程序
斯蒂芬·布鲁姆。 无限树和其他收缩理论中递归方程组的所有解。 (英语) Zbl 0535.68006号 J.计算。系统。科学。 27225-255(1983年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.L.Bloom},J.Comput。系统。科学。27225-255(1983年;Zbl 0535.68006) 全文: DOI程序
伯纳德·霍奇森。;克莱门特·肯特。 ({mathcal N}{mathcal-P})-集的算术表示的一种正规形式。 (英语) Zbl 0535.03016号 J.计算。系统。科学。 27378-388(1983年). 审核人:C.冷静 MSC公司:2015年3月15日 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{B.R.霍奇森}和\textit{C.F.肯特},J.计算机。系统。科学。27378--388(1983年;Zbl 0535.03016) 全文: DOI程序
斯蒂芬·布鲁姆。;詹姆斯·W·撒切尔。;埃里克·瓦格纳。;Jesse B.赖特。 连续理论中的递归和迭代:“M-结构”。 (英语) Zbl 0534.18003号 J.计算。系统。科学。 27, 148-164 (1983). 审核人:Jiři Adámek(普拉哈) MSC公司:18立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}等人,J.Compute。系统。科学。27148--164(1983年;Zbl 0534.18003) 全文: DOI程序
J.A.戈根。;梅塞盖尔,J。 递归并行非确定性流程序的正确性。 (英语) Zbl 0532.68019号 J.计算。系统。科学。 27, 268-290 (1983).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{J.Meseguer},J.Comput。系统。科学。27268--290(1983年;Zbl 0532.68019) 全文: DOI程序
哈特穆特·施梅克 可约流程图的代数表征。 (英语) 兹伯利0532.68018 J.计算。系统。科学。 27, 165-199 (1983).MSC公司:60年第68季度 18立方厘米 18D20天 PDF格式BibTeX公司 XML格式引用 \textit{H.Schmeck},J.计算。系统。科学。27165-199(1983年;Zbl 0532.68018) 全文: DOI程序
埃西克,Z。 迭代理论的代数。 (英语) Zbl 0532.68011号 J.计算。系统。科学。 27, 291-303 (1983). 审核人:M.Armbrust先生 MSC公司:68号01 18B20型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik},J.计算。系统。科学。27291--303(1983年;Zbl 0532.68011) 全文: DOI程序
谢泼德森,J.C。 卡尔文·埃尔戈特(1922-1980)。 (英语) Zbl 0532.01020号 J.计算。系统。科学。 141-144年7月27日(1983年).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Shepherdson},J.计算。系统。科学。27141-144(1983年;Zbl 0532.01020) 全文: DOI程序
詹姆斯·斯托尔(James A.Storer)。 关于国际象棋的复杂性。 (英语) 兹伯利0518.90096 J.计算。系统。科学。 27, 77-100 (1983).MSC公司:91A05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Storer},J.计算。系统。科学。27,77-100(1983年;兹bl 0518.90096) 全文: DOI程序
Hashiguchi,K。 正则语言的表示定理。 (英语) Zbl 0516.68063号 J.计算。系统。科学。 27, 101-115 (1983).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Hashiguchi},J.计算。系统。科学。27101-115(1983年;Zbl 0516.68063) 全文: DOI程序
宫野,佐藤 关于多头下推自动机和多头堆栈自动机的备注。 (英语) Zbl 0516.68044号 J.计算。系统。科学。 27, 116-124 (1983).MSC公司:65年第68季度 2015年3月15日 2005年3月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.Miyano},J.计算。系统。科学。27116-124(1983年;Zbl 0516.68044) 全文: DOI程序
铃木,一郎;大岛村田 一种逐步细化和抽象Petri网的方法。 (英语) Zbl 0515.68051号 J.计算。系统。科学。 27, 51-76 (1983).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.铃木}和\textit{T.村田},J.计算机。系统。科学。27、51--76(1983年;Zbl 0515.68051) 全文: DOI程序
舍宁,乌韦 NP中的低层次和高层次。 (英语) Zbl 0515.68046号 J.计算。系统。科学。 27,14-28(1983年).MSC公司:2005年第68季度 20层03 PDF格式BibTeX公司 XML格式引用 \textit{U.Schoening},J.计算。系统。科学。27、14-28(1983年;Zbl 0515.68046) 全文: DOI程序
Stephan Heilbrunner先生 LR-、LL-和LC常规条件测试。 (英语) Zbl 0512.68070号 J.计算。系统。科学。 27, 1-13 (1983).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Heilbrunner},J.计算。系统。科学。27、1-13(1983年;Zbl 0512.68070) 全文: DOI程序