科斯塔斯·库库贝蒂斯;米哈伊利斯·扬纳卡基斯 概率验证的复杂性。 (英语) Zbl 0885.68109号 J.协会计算。机器。 42,第4期,857-907(1995)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis},J.协会计算。机器。42,第4号,857--907(1995;Zbl 0885.68109) 全文: 内政部
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。 一个真正的时间逻辑。 (英语) Zbl 0807.68065号 J.协会计算。机器。 41,第1期,181-204(1994)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{T.A.Henzinger},J.协会计算。机器。41,第1号,181--204(1994;Zbl 0807.68065) 全文: 内政部
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。 关于知识和概率的推理。 (英语) Zbl 0806.68098号 J.协会计算。机器。 41,第2期,340-367(1994)。MSC公司:68立方英尺 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}和\textit{J.Y.Halpern},J.协会计算。机器。41,第2号,340--367(1994;Zbl 0806.68098) 全文: 内政部
阿兰·费科特;南希·林奇;伊莎·曼苏尔;约翰·斯皮内利 面对崩溃,无法实现可靠的通信。 (英语) Zbl 0795.68016号 J.协会计算。机器。 40,第5期,1087-1107(1993)。MSC公司:68米15 60年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{A.Fekete}等人,J.协会计算。机器。40,第5号,1087--1107(1993;Zbl 0795.68016) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;马克·塔特尔(Mark R.Tuttle)。 知识、概率和对手。 (英语) Zbl 0783.68120号 J.协会计算。机器。 40,第4期,917-962(1993)。MSC公司:68立方英尺 60年第68季度 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{M.R.Tuttle},J.协会计算。机器。40,第4号,917--962(1993;Zbl 0783.68120) 全文: 内政部
约瑟夫·戈根(Joseph A.Goguen)。;罗德·M·伯斯托尔。 机构:规范和编程的抽象模型理论。 (英语) Zbl 0799.68134号 J.协会计算。机器。 39,第1期,95-146(1992)。MSC公司:68问题65 68问题55 60年第68季度 03B70号 03G30型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{R.M.Burstall},J.协会计算。机器。39,第1号,95--146(1992;Zbl 0799.68134) 全文: 内政部
德国人,Steven M。;西斯特拉·A·普拉萨德 推理具有多个进程的系统。 (英语) Zbl 0799.68078号 J.协会计算。机器。 39,第3期,675-735(1992)。MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.M.German}和\textit{A.P.Sistla},J.Assoc.Compute。机器。39,第3号,675--735(1992;Zbl 0799.68078) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;Lenore D.扎克。 一点知识会大有帮助:基于知识的推导和一系列协议的正确性证明。 (英语) Zbl 0799.68024号 J.协会计算。机器。 39,第3期,449-478(1992)。MSC公司:68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{L.D.Zuck},J.协会计算。机器。39,第3号,449--478(1992;Zbl 0799.68024) 全文: 内政部
斯蒂芬·布鲁姆。;艾西克,佐尔坦 迭代理论中的Floyd-Hoare逻辑。 (英语) Zbl 0799.68042号 J.协会计算。机器。 38,第4期,887-934(1991)。MSC公司:68N17号 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Ei sik},J.协会计算。机器。38,第4号,887--934(1991;Zbl 0799.68042) 全文: 内政部
Randal E.布莱恩特。 基于逻辑模拟的硬件验证方法。 (英语) 兹比尔0809.94035 J.协会计算。机器。 38,第2期,299-328(1991)。MSC公司:94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant},J.计算机助理。机器。38,第2号,299--328(1991;Zbl 0809.94035) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆 分布式环境中的知识和常识。 (英语) Zbl 0699.68115号 J.协会计算。机器。 37,第3号,549-587(1990)。MSC公司:68T99型 68N25号 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{Y.Moses},J.Assoc.Compute。机器。37,第3号,549--587(1990;Zbl 0699.68115) 全文: 内政部 arXiv公司
贝拉·博洛巴斯;安德烈·布罗德。;伊斯特凡·西蒙 随机探测中聚类的成本分布。 (英语) Zbl 0696.68030号 J.协会计算。机器。 37,第2期,224-237(1990年)。MSC公司:60年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollobás}等人,J.Assoc.Compute。机器。37,第2号,224--237(1990;Zbl 0696.68030) 全文: 内政部
莫里斯·赫利希 作为复制原子数据的双重属性的一致性和可用性。 (英语) Zbl 0696.68027号 J.协会计算。机器。 37,第2期,257-278(1990)。MSC公司:60年第68季度 第68页第25页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.Herlihy},J.协会计算。机器。37,编号2257-278(1990年;兹bl 0696.68027) 全文: 内政部
van de Snepscheut,Jan L.A。;约翰·斯温克(Johan B.Swenker)。 关于一些脉动算法的设计。 (英语) Zbl 0697.68017号 J.协会计算。机器。 36,第4期,826-840(1989)。MSC公司:68N99型 68问题80 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.L.A.van de Snepscheut}和textit{J.B.Swenker},J.Assoc.Compute。机器。36,第4号,826--840(1989;Zbl 0697.68017) 全文: 内政部
丹尼尔·利万特;蒂姆·费尔南多 相对完整性的微乎其微的失败。 (英语) Zbl 0709.68588号 J.协会计算。机器。 35,第4期,953-964(1988)。MSC公司:60年第68季度 03B70号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Leivant}和\textit{T.Fernando},J.协会计算。机器。35,第4号,953--964(1988;Zbl 0709.68588) 全文: 内政部
莱尔·拉姆肖 在保留程序结构的同时消除go to。 (英语) Zbl 0662.68012号 J.协会计算。机器。 35,第4期,893-920(1988)。MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Ramshaw},J.计算机助理。机器。35,第4号,893--920(1988;Zbl 0662.68012) 全文: 内政部
蒂莫西·希基;雅克·科恩 自动化程序分析。 (英语) Zbl 0632.68013号 J.协会计算。机器。 35,第1期,185-220(1988)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hickey}和\textit{J.Cohen},J.协会计算。机器。35,第1号,185--220(1988;Zbl 0632.68013) 全文: 内政部
大卫·佩勒 并发动态逻辑。 (英语) Zbl 0645.03021号 J.协会计算。机器。 34, 450-479 (1987)。 审核人:L.布里姆 MSC公司:03B70号 03B45号 60年第68季度 68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Peleg},J.协会计算。机器。34450-479(1987年;Zbl 0645.03021) 全文: 内政部
阿普特,K.R。;普洛金,G.D。 可数不确定性和随机分配。 (英语) Zbl 0627.68015号 J.协会计算。机器。 33724-767(1986年)。MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{G.D.Plotkin},J.协会计算。机器。33、724--767(1986年;Zbl 0627.68015) 全文: 内政部 链接
轩尼诗,M。 验收树。 (英语) Zbl 0633.68074号 J.协会计算。机器。 第32页,896-928页(1985年)。MSC公司:65年第68季度 05二氧化碳 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy},J.协会计算。机器。32896--928(1985年;Zbl 0633.68074) 全文: 内政部
西斯特拉,A.P。;E.M.克拉克。 命题线性时序逻辑的复杂性。 (英语) Zbl 0632.68034号 J.协会计算。机器。 32, 733-749 (1985)。MSC公司:68问题65 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}和\textit{E.M.Clarke},J.协会计算。机器。32733--749(1985年;Zbl 0632.68034) 全文: 内政部
马修·轩尼诗;罗宾·米尔纳 不确定性和并发性的代数定律。 (英语) Zbl 0629.68021号 J.协会计算。机器。 32, 137-161 (1985)。MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{R.Milner},J.协会计算。机器。32、137--161(1985年;Zbl 0629.68021) 全文: 内政部
约翰·斯台普斯;Nguyen,V.L。 非确定性数据流的定点语义。 (英语) Zbl 0629.68011号 J.协会计算。机器。 32, 441-444 (1985)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Staples}和\textit{V.L.Nguyen},J.协会计算。机器。32441--444(1985年;Zbl 0629.68011) 全文: 内政部
艾坦·古拉里(Eitan M.Gurari)。 强大程序的可决定问题。 (英语) Zbl 0629.68010号 J.协会计算。机器。 32, 466-483 (1985)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Gurari},J.协会计算。机器。32466--483(1985年;Zbl 0629.68010) 全文: 内政部
Bauer,医学硕士。 基于示例计算的合成算法的稳健性和完整性。 (英语) Zbl 0629.68009号 J.协会计算。机器。 32, 249-279 (1985)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Bauer},J.协会计算。机器。32249--279(1985年;Zbl 0629.68009) 全文: 内政部
亨特,H.B.III 终止图灵机计算和通信问题、语法和程序方案的复杂性和/或可判定性。 (英语) Zbl 0632.68048号 J.协会计算。机器。 31299-318(1984年)。MSC公司:65年第68季度 2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III},J.协会计算。机器。31299--318(1984年;Zbl 0632.68048) 全文: 内政部
劳伦斯·亨森。;萨米姆·纳格维(Shamim A.Naqvi)。 关于在递归一阶数据库中编译查询。 (英语) Zbl 0629.68095号 J.协会计算。机器。 第31页,第47-85页(1984年)。MSC公司:68第20页 68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.J.Henschen}和\textit{S.A.Naqvi},J.协会计算。机器。31、47——85(1984年;Zbl 0629.68095) 全文: 内政部
罗伯特·肖斯塔克。 决定理论的组合。 (英语) Zbl 0629.68089号 J.协会计算。机器。 31, 1-12 (1984)。MSC公司:68吨15 60年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Shostak},J.协会计算。机器。31、1-12(1984年;Zbl 0629.68089) 全文: 内政部
约翰·麦克莱恩 软件抽象规范的一种形式化方法。 (英语) Zbl 0628.68013号 J.协会计算。机器。 31, 600-627 (1984)。MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.McLean},J.协会计算。机器。31600-627(1984年;Zbl 0628.68013) 全文: 内政部
奥斯卡·H·伊瓦拉。;Brian S.Leininger。 关于直线规划的简化和等价问题。 (英语) Zbl 0627.68013号 J.协会计算。机器。 30, 641-656 (1983)。MSC公司:60年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{B.S.Leininger},J.协会计算。机器。30641--656(1983年;Zbl 0627.68013) 全文: 内政部
Edmund M.jun Clarke。;德国人,Steven M。;约瑟夫·霍尔珀(Joseph Y.Halpern)。 霍尔逻辑的有效公理化。 (英语) Zbl 0627.68010号 J.协会计算。机器。 30, 612-636 (1983)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke jun.}等人,J.协会计算。机器。30612--636(1983年;Zbl 0627.68010) 全文: 内政部
C.Farshid努拉尼 抽象实现及其正确性证明。 (英语) Zbl 0515.68014号 J.协会计算。机器。 30, 343-359 (1983)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Nourani},J.协会计算。机器。30343--359(1983年;Zbl 0515.68014) 全文: 内政部
Krzysztof R.阿普特。 通信顺序过程的证明系统的形式化证明。 (英语) Zbl 0503.68021号 J.协会计算。机器。 30, 197-216 (1983)。MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},J.协会计算。机器。3197-216(1983年;兹bl 0503.68021) 全文: 内政部
克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。 数据库并发控制中的一个定理。 (英语) Zbl 0492.68029号 J.协会计算。机器。 998-1006年9月29日(1982年)。MSC公司:68N25号 68第20页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou},J.协会计算。机器。29998--1006(1982;Zbl 0492.68029) 全文: 内政部
尤金·斯塔克。 信号量原语和无饥饿互斥。 (英语) Zbl 0492.68028号 J.协会计算。机器。 29, 1049-1072 (1982)。MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Stark},J.协会计算。机器。291049--1072(1982;Zbl 0492.68028) 全文: 内政部
Krzysztof R.阿普特。;范·埃姆登,M.H。 对逻辑程序设计理论的贡献。 (英语) Zbl 0483.68004号 J.协会计算。机器。 29, 841-862 (1982)。MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{M.H.van Emden},J.协会计算。机器。29841--862(1982;Zbl 0483.68004) 全文: 内政部 链接
迈克尔·阿尔比布(Michael A.Arbib)。;欧内斯特·马内斯。 填充图案展开是递归定义的标准不动点。 (英语) Zbl 0478.68016号 J.协会计算。机器。 29577-602(1982年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Arbib}和\textit{E.G.Manes},J.协会计算。机器。29577--602(1982年;Zbl 0478.68016) 全文: 内政部
阿尔伯特·R·迈耶。;约瑟夫·霍尔珀(Joseph Y.Halpern)。 编程语言的公理化定义:理论评估。 (英语) Zbl 0478.68009号 J.协会计算。机器。 29, 555-576 (1982)。MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Meyer}和\textit{J.Y.Halpern},J.协会计算。机器。29、555--576(1982;Zbl 0478.68009) 全文: 内政部
亨特,H.B.III 关于流程图、循环程序方案和编程语言的复杂性。 (英语) Zbl 0477.68045号 J.协会计算。机器。 29, 228-249 (1982)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III},J.协会计算。机器。29、228--249(1982;Zbl 0477.68045) 全文: 内政部
C.J.霍格。 逻辑程序的推导。 (英语) Zbl 0464.68021号 J.协会计算。机器。 28, 372-392 (1981)。MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Hogger},J.协会计算。机器。28372--392(1981年;Zbl 0464.68021) 全文: 内政部
普拉巴赫·马蒂 一类程序正确性的判定过程。 (英语) Zbl 0464.68018号 J.协会计算。机器。 28, 215-232 (1981)。MSC公司:60年第68季度 68页第10页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateti},J.协会计算。机器。28215--232(1981年;Zbl 0464.68018) 全文: 内政部
马丁·雷 闭包语句:一种允许超并发执行的编程语言结构。 (英语) Zbl 0464.68006号 J.协会计算。机器。 28, 393-410 (1981)。MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rem},J.协会计算。机器。28393--410(1981年;Zbl 0464.68006) 全文: 内政部
艾坦·古拉里(Eitan M.Gurari)。;奥斯卡·H·伊巴拉。 简单程序等价问题的复杂性。 (英语) 兹伯利0462.68023 J.协会计算。机器。 28, 535-560 (1981)。MSC公司:65年第68季度 68问题65 60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Gurari}和\textit{O.H.Ibarra},J.协会计算。机器。28335-560(1981年;兹bl 0462.68023) 全文: 内政部
约翰·H·罗兰。;菲利普·戴维斯。 关于超验在程序测试中的使用。 (英语) Zbl 0452.68016号 J.协会计算。机器。 28, 181-190 (1981)。MSC公司:60年第68季度 11J81型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Rowland}和\textit{P.J.Davis},J.协会计算。机器。28、181--190(1981年;Zbl 0452.68016) 全文: 内政部
Derek C.奥本。 推理递归定义的数据结构。 (英语) 兹比尔0477.68025 J.协会计算。机器。 27, 403-411 (1980)。MSC公司:68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.C.Oppen},J.协会计算。机器。27403--411(1980;Zbl 0477.68025) 全文: 内政部
拉维·塞提;阿德里安·唐 构造按值调用的连续语义。 (英语) Zbl 0477.68023号 J.协会计算。机器。 27580-597(1980年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sethi}和\textit{A.Tang},J.协会计算。机器。27580--597(1980;Zbl 0477.68023) 全文: 内政部
彼得·唐尼。;拉维·塞提;罗伯特·恩德雷·塔尔扬 常见子表达式问题的变体。 (英语) Zbl 0458.68026号 J.协会计算。机器。 27, 758-771 (1980)。MSC公司:68卢比99 68兰特 68N25号 68第20页 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Downey}等人,J.协会计算。机器。27758--771(1980年;Zbl 0458.68026) 全文: 内政部
杰拉德·休特 合流约简:术语重写系统的抽象属性和应用。 (英语) Zbl 0458.68007号 J.协会计算。机器。 27, 797-821 (1980)。MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet},J.协会计算。机器。279797-821(1980年;Zbl 0458.68007) 全文: 内政部
Jean-Claude拉乌尔;让·武伊勒明 递归程序之间的操作和语义等价。 (英语) Zbl 0447.68004号 J.协会计算。机器。 27, 772-796 (1980)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Raoult}和\textit{J.Vuillemin},J.协会计算。机器。27772--796(1980年;Zbl 0447.68004) 全文: 内政部
拉马钱德兰·克里希纳斯瓦米;亚瑟·B·皮斯特。 语义句法导向翻译的正确性。 (英语) Zbl 0431.68018号 J.协会计算。机器。 27, 338-355 (1980)。MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Krishnaswamy}和\textit{A.B.Pyster},J.协会计算。机器。27、338--355(1980年;Zbl 0431.68018) 全文: 内政部
米切尔·旺德 基于连续性的计划转换策略。 (英语) Zbl 0429.68028号 J.协会计算。机器。 27, 164-180 (1980)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wand},J.协会计算。机器。27164-180(1980年;Zbl 0429.68028) 全文: 内政部
铃木、诺里希萨;戴维·杰斐逊 Presburger阵列程序的验证可判定性。 (英语) Zbl 0429.68025号 J.协会计算。机器。 27, 191-205 (1980)。MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{N.铃木}和\textit{D.杰斐逊},J.协会计算。机器。27191-205(1980年;Zbl 0429.68025) 全文: 内政部 链接
马克·卡普兰。;杰弗里·乌尔曼。 变量类型的自动推断方案。 (英语) Zbl 0429.68022号 J.协会计算。机器。 27, 128-145 (1980)。MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Kaplan}和\textit{J.D.Ullman},J.协会计算。机器。27、128——145(1980年;Zbl 0429.68022) 全文: 内政部
理查德·利普顿。;罗森博格(Arnold L.Rosenberg)。;姚明(Andrew C.Yao)。 数据结构集合的外部哈希方案。 (英语) Zbl 0426.68051号 J.协会计算。机器。 27, 81-95 (1980)。MSC公司:68卢比99 65年第68季度 60年第68季度 68第05页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Lipton}等人,J.协会计算。机器。27、81-95(1980年;Zbl 0426.68051) 全文: 内政部
理查德·德米洛(Richard A.DeMillo)。;斯坦利·艾森斯塔特(Stanley C.Eisenstat)。;理查德·利普顿。 结构化编程中的时空权衡:一个改进的组合嵌入定理。 (英语) Zbl 0426.68046号 J.协会计算。机器。 27, 123-127 (1980)。MSC公司:68兰特 65年第68季度 68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.A.DeMillo}等人,J.协会计算。机器。27123-127(1980年;Zbl 0426.68046) 全文: 内政部
彼得·亨德森。;叶切斯科尔·扎尔斯坦 广义光伏系统可解决的同步问题。 (英语) Zbl 0426.68040号 J.协会计算。机器。 27, 60-71 (1980)。MSC公司:68问题85 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Henderson}和\textit{Y.Zalcstein},J.Assoc.Compute。机器。27、60-71(1980年;Zbl 0426.68040) 全文: 内政部
罗伯特·肖斯塔克。 一种实用的函数符号算术判定程序。 (英语) Zbl 0496.03003号 J.协会计算。机器。 26, 351-360 (1979)。MSC公司:03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Shostak},J.协会计算。机器。26、351--360(1979;Zbl 0496.03003) 全文: 内政部
罗宾·米尔纳 流图和流代数。 (英语) Zbl 0421.68025号 J.协会计算。机器。 1979年第26期第794-818页。MSC公司:68N25号 68号01 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner},J.计算机助理。机器。26794--818(1979年;Zbl 0421.68025) 全文: 内政部
路易吉·洛格里波 程序模式中的重命名、最大并行性和时空权衡。 (英语) Zbl 0419.68021号 J.协会计算。机器。 26, 818-833 (1979)。MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Logripo},J.协会计算。机器。26、818--833(1979年;Zbl 0419.68021) 全文: 内政部
布伦达·S·贝克。;南饶省科萨拉州 多级中断和下一语句的比较。 (英语) Zbl 0407.68007号 J.协会计算。机器。 26, 555-566 (1979)。MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Baker}和\textit{S.R.Kosaraju},J.协会计算。机器。26、555--566(1979年;Zbl 0407.68007) 全文: 内政部
雅克·科恩;蒂莫西·希基 确定凸多面体体积的两种算法。 (英语) Zbl 0403.68067号 J.协会计算。机器。 26, 401-414 (1979)。MSC公司:68卢比99 52亿 52-04 60年第68季度 65层99 PDF格式BibTeX公司 XML格式引用 \textit{J.Cohen}和\textit{T.Hickey},J.协会计算。机器。26、401-414(1979年;Zbl 0403.68067) 全文: 内政部
巴里·罗森。 过程语言的数据流分析。 (英语) Zbl 0395.68031号 J.协会计算。机器。 26, 322-344 (1979)。MSC公司:68N25号 60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Rosen},J.协会计算。机器。26、322--344(1979年;Zbl 0395.68031) 全文: 内政部
乔治·米尔恩;罗宾·米尔纳 并发进程及其语法。 (英语) Zbl 0395.68030号 J.协会计算。机器。 26, 302-321 (1979)。MSC公司:68N25号 60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{G.Milne}和\textit{R.Milner},J.协会计算。机器。26302-321(1979年;Zbl 0395.68030) 全文: 内政部
托马斯·科瓦尔托夫斯基 数据结构和程序的正确性。 (英语) Zbl 0395.68018号 J.协会计算。机器。 26, 283-301 (1979)。MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Kowaltowski},J.协会计算。机器。26、283--301(1979年;Zbl 0395.68018) 全文: 内政部
杰拉德·贝里;让-雅克·利维 递归程序的最小和最优计算。 (英语) 兹伯利0388.68012 J.协会计算。机器。 26, 148-175 (1979)。MSC公司:60年第68季度 03B40型 68问题55 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Berry}和\textit{J.-J.Levy},J.计算机助理。机器。26、148--175(1979年;Zbl 0388.68012) 全文: 内政部
克拉克(Edmund Melson jun Clarke)。 程序设计语言构造,对于这种构造,不可能获得好的霍尔公理系统。 (英语) Zbl 0388.68008号 J.协会计算。机器。 26, 129-147 (1979)。MSC公司:60年第68季度 68瓦99 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke jun.},J.协会计算。机器。26、129--147(1979年;Zbl 0388.68008) 全文: 内政部
约翰·切尔尼亚夫斯基。;塞缪尔·卡明。 简单编程语言的完整且一致的Hoare公理。 (英语) Zbl 0388.68007号 J.协会计算。机器。 26, 119-128 (1979)。MSC公司:60年第68季度 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Cherniavsky}和\textit{S.N.Kamin},J.协会计算。机器。26、119--128(1979年;Zbl 0388.68007) 全文: 内政部
布兰德,丹尼尔 程序验证中的路径演算。 (英语) Zbl 0388.68011号 J.协会计算。机器。 25, 630-651 (1978)。MSC公司:60年第68季度 68瓦30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Brand},J.协会计算。机器。25、630--651(1978年;Zbl 0388.68011) 全文: 内政部
拉维·塞提 带有相等测试的条件表达式。 (英语) Zbl 0388.68010号 J.协会计算。机器。 25, 667-674 (1978)。MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Sethi},J.协会计算。机器。25、667--674(1978年;Zbl 0388.68010) 全文: 内政部
彼得·唐尼。;拉维·塞提 使用数组引用指定命令。 (英语) Zbl 0388.68009号 J.协会计算。机器。 25, 652-666 (1978)。MSC公司:60年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Downey}和\textit{R.Sethi},J.协会计算。机器。25、652--666(1978年;Zbl 0388.68009) 全文: 内政部
德米洛,R.A。;瓦拉万,K。;Sycara-Cyranski,E。 将调度作为同步并行计算模型的研究。 (英语) Zbl 0403.68027号 J.协会计算。机器。 24, 544-565 (1977)。MSC公司:68N25号 60年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \文本{R.A.DeMillo}等人,J.Assoc.Comput。机器。24、544--565(1977年;Zbl 0403.68027) 全文: 内政部
年轻,保罗 可证明等价程序之间的优化。 (英语) 兹比尔0401.68016 J.协会计算。机器。 24, 693-700 (1977)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Young},J.计算机助理。机器。24、693--700(1977年;Zbl 0401.68016) 全文: 内政部 链接
R.斯特凡内利。;A.罗森菲尔德。 数字图像的一些并行细化算法。 (英语) Zbl 0216.5002号 J.协会计算。机器。 18, 255-264 (1971)。MSC公司:68吨10 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Stefanelli}和\textit{A.Rosenfeld},J.协会计算。机器。18、255--264(1971;Zbl 0216.50002) 全文: 内政部