罗伯特·格莱克;横山,铁雄 通过可逆递归和迭代从其遍历构造二叉树。 (英语) Zbl 1473.68214号 信息处理。莱特。 147, 32-37 (2019).MSC公司:68周05 68第05页 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{T.横山},Inf.过程。莱特。147、32-37(2019年;Zbl 1473.68214) 全文: 内政部
马尔瓦·优素福;艾哈迈德·艾尔迈迪;欧文,罗胡 使用堆栈上替换实现自动二进制运行时循环去并行。 (英语) Zbl 1446.68026号 信息处理。莱特。 145, 53-57 (2019).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Yusuf}等人,《信息处理》。莱特。145、53-57(2019年;Zbl 1446.68026) 全文: 内政部 哈尔
徐兆伟;张文辉 ACTL公式的线性模板,用于基于SAT的验证。 (英语) Zbl 1409.68176号 信息处理。莱特。 127, 6-16 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xu}和\textit{W.Zhang},Inf.Process。莱特。127、6--16(2017;Zbl 1409.68176) 全文: 内政部
保罗·C·阿蒂。 有限状态并发程序可以用三重范式简洁地表示。 (英语) Zbl 1405.68069号 信息处理。莱特。 123, 8-13 (2017).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Attie},Inf.过程。莱特。123、8--13(2017;Zbl 1405.68069) 全文: 内政部
乔治·斯特鲁斯 关于带域的Kleene代数的表达能力。 (英语) Zbl 1347.68095号 信息处理。莱特。 116,第4期,284-288(2016).MSC公司:68号30 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},Inf.过程。莱特。116,第4号,284--288(2016;Zbl 1347.68095) 全文: 内政部 arXiv公司
李孟军 基于有限差分技术自动证明或反驳等式循环不变量。 (英语) Zbl 1314.68284号 信息处理。莱特。 115,第4期,468-474(2015).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Li},Inf.流程。莱特。115,第4号,468--474(2015;Zbl 1314.68284) 全文: 内政部
Aceto,卢卡;欧根·伊安·戈里亚克;安娜·英格尔夫斯多蒂 Linda的无状态双相似性的基础完备公理化。 (英语) Zbl 1302.68198号 信息处理。莱特。 115,编号212-220(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Inf.过程。莱特。115,No.2,212--220(2015;Zbl 1302.68198) 全文: 内政部
伊利亚·谢尔盖;克拉克、戴夫 通过约简进行类型检查和通过求值进行类型检查之间的对应关系。 (英语) Zbl 1233.68157号 信息处理。莱特。 112,编号1-2,13-20(2012).MSC公司:60年第68季度 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{I.Sergey}和\textit{D.Clarke},Inf.过程。莱特。112,编号1--2,13-20(2012;Zbl 1233.68157) 全文: 内政部 链接
曼弗雷德·施密特·沙乌;大卫·萨贝尔;埃琳娜·马奇卡索娃 使用letrec对非确定性call-by-need lambda-calculi中的应用模拟和扩展性进行反例。 (英语) Zbl 1260.68075号 信息处理。莱特。 111,第14号,711-716(2011).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,《Inf.过程》。莱特。111,第14号,711--716(2011;Zbl 1260.68075) 全文: 内政部
弗朗西斯科·奥尔丁;米盖尔·加西亚 并集和交集类型支持动态和静态类型。 (英语) Zbl 1260.68052号 信息处理。莱特。 111,第6期,278-286(2011).MSC公司:68甲15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ortin}和\textit{M.García},Inf.过程。莱特。111,No.6,278--286(2011;Zbl 1260.68052) 全文: 内政部 链接
阿卡什·拉尔;拉马林加姆,G。 浅混叠参考计数分析。 (英语) 兹比尔1260.68232 信息处理。莱特。 111,第2期,第57-63页(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lal}和\textit{G.Ramalingam},Inf.过程。莱特。111,编号2,57--63(2010;Zbl 1260.68232) 全文: 内政部
罗伯特·格莱克 自我生成的程序专业人员。 (英语) Zbl 1234.68077号 信息处理。莱特。 110,第17号,787-793(2010).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück},Inf.过程。莱特。110,第17号,787--793(2010;Zbl 1234.68077) 全文: 内政部
洪,Regant Y.S。;Lee,Lap-Kei先生;H.F.丁。 在固定更新时间的滑动窗口上查找频繁项。 (英语) Zbl 1209.68661号 信息处理。莱特。 110,第7期,257-260(2010).MSC公司:68周27 68周25 PDF格式BibTeX公司 XML格式引用 \textit{R.Y.S.Hung}等人,《Inf.过程》。莱特。110,第7号,257--260(2010;Zbl 1209.68661) 全文: 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔 为实现上下文对等,关闭可能、应该和必须的收敛。 (英语) Zbl 1209.68308号 信息处理。莱特。 110,第6号,232-235(2010).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt Schauß}和\textit{D.Sabel},信息处理。莱特。110,第6号,232--235(2010;Zbl 1209.68308) 全文: 内政部
豪尔赫·阿尔梅达;马克·泽顿 自下而上DFA最小化算法的描述和分析。 (英语) Zbl 1186.68242号 信息处理。莱特。 107,第2号,52-59(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Almeida}和\textit{M.Zeitoun},信息处理。莱特。107,编号2,52-59(2008;Zbl 1186.68242) 全文: 内政部
克里斯托夫·米纳迈耶 基于组件的系统中的局部和全局死锁检测是NP-hard。 (英语) Zbl 1184.68260号 信息处理。莱特。 103,第3期,105-111(2007).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Minnameier},Inf.进程。莱特。103,No.3,105--111(2007;Zbl 1184.68260) 全文: 内政部
阿拉加萨米,K。 具有最优有界旁路的互斥算法。 (英语) 兹比尔1181.68324 信息处理。莱特。 96,第1期,36-40(2005).MSC公司:68瓦10 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Alagarsamy},Inf.流程。莱特。96,第1号,36--40(2005;Zbl 1181.68324) 全文: 内政部
维姆·赫塞林克。 Salembier的最小树算法变成了广度优先搜索。 (英语) Zbl 1178.68642号 信息处理。莱特。 88,第5期,225-229(2003).MSC公司:68周05 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Inf.过程。莱特。88,第5号,225--229(2003;Zbl 1178.68642) 全文: 内政部
汤姆·迈鲍姆 软件逐步开发时到底发生了什么。二: 续集。 (英语) Zbl 1178.68165号 信息处理。莱特。 88,编号1-2,45-51(2003).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Maibaum},Inf.过程。莱特。88,编号1--2,45-51(2003;Zbl 1178.68165) 全文: 内政部
让·H·加利耶。;萨尔瓦多拉托雷;Supratik Mukhopadhyay公司 带有递归调用和DPDA的确定性有限自动机。 (英语) Zbl 1161.68527号 信息处理。莱特。 87,第4期,187-193(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Gallier}等人,《信息处理》。莱特。87,第4号,187--193(2003;Zbl 1161.68527) 全文: 内政部
安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 状态图转换触发器中文字的分离。 (英语) Zbl 1042.68610号 信息处理。莱特。 84,第6号,305-310(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggiolo-Schettini}和\textit{S.Tini},Inf.过程。莱特。84,第6号,305-310(2002;Zbl 1042.68610) 全文: 内政部
佐佐木,Atsushi 线性网络上的时间最优分布式排序算法。 (英语) Zbl 1043.68026号 信息处理。莱特。 83,第1期,21-26(2002).MSC公司:64岁以下 68页第10页 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Sasaki},Inf.流程。莱特。83,第1号,第21--26号(2002;Zbl 1043.68026) 全文: 内政部
戴维·诺曼(David A.Naumann)。 计算尖锐的适应规则。 (英语) Zbl 1052.68085号 信息处理。莱特。 77,第2-4号,201-208(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},Inf.过程。莱特。77,No.2--4,201--208(2001;Zbl 1052.68085) 全文: 内政部
雅各布·M·豪。;安迪·金 用布尔函数抽象数值约束。 (英语) Zbl 1339.68045号 信息处理。莱特。 75,第1-2、17-23号(2000年).MSC公司:68号30 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Howe}和\textit{A.King},Inf.Process。莱特。75,编号1--2,17-23(2000;Zbl 1339.68045) 全文: 内政部
斯基利科恩,D.B。 一种并行树差分算法。 (英语) Zbl 0875.68476号 信息处理。莱特。 60,第5期,231-235(1997).MSC公司:68瓦10 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Skillicorn},Inf.过程。莱特。60,第5号,231--235(1997;Zbl 0875.68476) 全文: 内政部
费伊斯,L.M.G。;范·奥默林,R.C。 传递闭包算法的抽象推导。 (英语) 兹比尔1337.68283 信息处理。莱特。 63,第3期,159-164(1997).MSC公司:68周01 PDF格式BibTeX公司 XML格式引用 \textit{L.M.G.Feijs}和\textit{R.C.van Ommering},Inf.过程。莱特。63,第3号,159--164(1997;Zbl 1337.68283) 全文: 内政部
诺伯特·布鲁姆 一个O(n日志n) 最小化n状态有限自动机的标准方法的实现。 (英语) Zbl 0875.68649号 信息处理。莱特。 57,第2期,65-69页(1996年).MSC公司:65年第68季度 68瓦10 PDF格式BibTeX公司 XML格式引用 \textit{N.Blum},Inf.过程。莱特。57,第2号,65-69(1996年;Zbl 0875.68649) 全文: 内政部
安娜·齐安波里尼;伊芙琳娜·拉姆玛;保罗·梅洛 用于优化动态模块化逻辑语言的抽象解释框架。 (英语) Zbl 1022.68501号 信息处理。莱特。 58,第4期,163-170(1996).MSC公司:68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciampolini}等人,《Inf.过程》。莱特。58,第4号,163--170(1996;Zbl 1022.68501) 全文: 内政部
塞雷,K。 程序和原子性细化。 (英语) Zbl 0875.68275号 信息处理。莱特。 60,第2期,67-74(1996).MSC公司:68N99型 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Sere},Inf.流程。莱特。60,第2号,67--74(1996;Zbl 0875.68275) 全文: 内政部
丹尼斯·沃尔帕诺(Dennis M.Volpano)。 类型检查重载的下限。 (英语) Zbl 0875.68541号 信息处理。莱特。 57,第1期,9-13(1996).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Volpano},Inf.过程。莱特。57,第1、9-13号(1996年;Zbl 0875.68541) 全文: 内政部
邓恩,布莱恩;朱莉·琼斯;乔纳森·索伦森 一个节省空间的快速素数筛。 (英语) Zbl 0873.11071号 信息处理。莱特。 59,第2期,79-84(1996).MSC公司:11年11月 2016年11月 11A41号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Dunten}等人,《Inf.过程》。莱特。59,第2号,79--84(1996;Zbl 0873.11071) 全文: 内政部
马丁·范策尔;伯恩哈德·冯·斯坦格尔;阿恩·维特穆斯 语义独立性的一个广义概念。 (英语) Zbl 0875.68619号 信息处理。莱特。 53,第1期,第5-9页(1995年).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,《信息流程》。莱特。53,第1、5--9号(1995年;Zbl 0875.68619) 全文: 内政部
雅各布·科纳鲁普 将并行程序的函数表示映射到超立方体。 (英语) Zbl 0875.68405号 信息处理。莱特。 53,第3期,153-158(1995).MSC公司:2010年第68季度 2007年7月68日 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{J.Kornerup},Inf.流程。莱特。53,第3号,153--158(1995年;Zbl 0875.68405) 全文: 内政部
C.B.琼斯。 部分功能和逻辑:警告。 (英语) Zbl 0875.68621号 信息处理。莱特。 54,第2期,65-67页(1995年).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},Inf.流程。莱特。54,第2号,65-67(1995;Zbl 0875.68621) 全文: 内政部
吉尔·乌塔德;盖坦·海恩斯 无死锁吸收屏障同步。 (英语) Zbl 0875.68244号 信息处理。莱特。 56,第4期,221-227(1995).MSC公司:68N20型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Utard}和\textit{G.Hains},Inf.过程。莱特。56,第4号,221--227(1995;Zbl 0875.68244) 全文: 内政部
奥拉夫·莱恩 将Bachmair的一致性证明方法扩展到最终代数。 (英语) Zbl 0822.68101号 信息处理。莱特。 51,第6号,303-310(1994).MSC公司:68吨15 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{O.Lysne},Inf.过程。莱特。51,编号6,303-310(1994;兹bl 0822.68101) 全文: 内政部
约阿希姆·斯坦巴赫 生成多项式顺序。 (英语) Zbl 0791.68092号 信息处理。莱特。 49,No.2,85-93(1994). 审核人:约阿希姆·斯坦巴赫 MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Steinbach},Inf.过程。莱特。49,编号2,85-93(1994;Zbl 0791.68092) 全文: 内政部
米歇尔·范·韦泽尔(Michiel C.van Wezel)。;Gerard电话 拉纳算法的比例证明。 (英语) Zbl 0795.68081号 信息处理。莱特。 49,第5期,227-233(1994).MSC公司:68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.van Wezel}和\textit{G.电话},Inf.流程。莱特。49,No.5,227--233(1994;Zbl 0795.68081) 全文: 内政部
洛朗·阿隆索;爱德华·莱因戈尔德(Edward M.Reingold)。;雷内·斯科特 决定多数。 (英语) Zbl 0780.68051号 信息处理。莱特。 47,第5期,253-255(1993年).MSC公司:65年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{L.Alonso}等人,《信息处理》。莱特。47,第5号,253--255(1993;Zbl 0780.68051) 全文: 内政部
何继峰;C.A.R.霍尔。 从代数到操作语义。 (英语) 兹伯利0795.68124 信息处理。莱特。 45,No.2,75-80(1993).MSC公司:68问题55 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{C.A.R.Hoare},Inf.过程。莱特。45,第2号,75--80(1993;Zbl 0795.68124) 全文: 内政部
沃伊切赫·彭泽克 关于迹系统上命题时间逻辑的不可判定性。 (英语) Zbl 0771.03006号 信息处理。莱特。 43,第3期,147-153(1992). 审核人:F.V.Burstein(墨尔本) MSC公司:03B45号 2010年第68季度 03B25号 03天35分 03B80号 12升05 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},信息处理。莱特。43,第3号,147--153(1992;Zbl 0771.03006) 全文: 内政部
奥格·德穆尔 谓词转换器的归纳数据类型。 (英语) Zbl 0764.68095号 信息处理。莱特。 43,第3期,113-117(1992).MSC公司:60年第68季度 第68季度第65季度 68号01 18A25型 PDF格式BibTeX公司 XML格式引用 \textit{O.de Moor},Inf.过程。莱特。43,No.3,113--117(1992;Zbl 0764.68095) 全文: 内政部
汤姆·惠利 循环置换算法的替代发展。 (英语) Zbl 0779.68060号 信息处理。莱特。 41,第5期,239-241(1992).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Whaley},Inf.过程。莱特。41,第5号,239--241(1992;Zbl 0779.68060) 全文: 内政部
斯科利菲尔德,D。;H.S.M.泽丹。 时间和并发性的前置条件语义最弱。 (英语) Zbl 0769.68086号 信息处理。莱特。 43,第6号,301-308(1992).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Scholefield}和\textit{H.S.M.Zedan},Inf.过程。莱特。43,第6号,301--308(1992;Zbl 0769.68086) 全文: 内政部
塞缪尔·卡明 头紧度不是一个单调的抽象属性。 (英语) Zbl 0748.68039号 信息处理。莱特。 41195-198年第4期(1992年).MSC公司:68问题55 68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Kamin},Inf.过程。莱特。41,第4号,195--198(1992;Zbl 0748.68039) 全文: 内政部
奥利维尔·丹维 非线性模式的语义导向编译。 (英语) Zbl 0722.68026号 信息处理。莱特。 37,第6号,315-322(1991).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Denvy},Inf.流程。莱特。37,第6号,315--322(1991;Zbl 0722.68026) 全文: 内政部
冯·赖特,J。 精化演算中的程序反演。 (英语) 兹比尔0713.68035 信息处理。莱特。 37,第2期,95-100(1991).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.von Wright},Inf.过程。莱特。37,第2号,95--100(1991;Zbl 0713.68035) 全文: 内政部
惠泽,C。;德罗弗,W.P。 介绍状态图语义中的设计选择。 (英语) Zbl 0713.68012号 信息处理。莱特。 37,第4号,205-213(1991).MSC公司:68甲15 68问题55 68米01 PDF格式BibTeX公司 XML格式引用 \textit{C.Huizing}和\textit{W.P.deRoever},Inf.过程。莱特。37,第4号,205--213(1991;Zbl 0713.68012) 全文: 内政部
莱因霍尔德·赫克曼 在所有cpo上,上下功率域结构相互转换。 (英语) Zbl 0748.68038号 信息处理。莱特。 40,第1期,7-11期(1991年).MSC公司:68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Heckmann},Inf.过程。莱特。40,编号1,7--11(1991;Zbl 0748.68038) 全文: 内政部
伯恩哈德·冯·斯坦格尔 语义独立性的代数表征。 (英语) Zbl 0741.68073号 信息处理。莱特。 39,第6期,291-296(1991).MSC公司:68问题55 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{B.Von Stengel},Inf.过程。莱特。39,第6号,291--296(1991;Zbl 0741.68073) 全文: 内政部
Van de Snepscheut,Jan L.A.,范德斯涅普谢特。 递归树遍历的反转。 (英语) Zbl 0741.68051号 信息处理。莱特。 39,第5期,265-267(1991).MSC公司:68瓦10 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.L.A.Van de Snepscheut},Inf.过程。莱特。39,第5号,265--267(1991;Zbl 0741.68051) 全文: 内政部
斯万特·卡尔松;陈景森 一种最优并行自适应排序算法。 (英语) Zbl 0735.68020号 信息处理。莱特。 39,第4期,195-200(1991).MSC公司:68页第10页 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Carlsson}和\textit{J.Chen},Inf.过程。莱特。39,第4号,195--200(1991;Zbl 0735.68020) 全文: 内政部
尼西姆·弗朗西兹 勘误:具有多方交互的分布式程序的合作证明。 (英语) Zbl 0800.68551号 信息处理。莱特。 35,No.5,275(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},Inf.流程。莱特。35,第5号,275(1990;Zbl 0800.68551) 全文: 内政部
克里斯托斯·列夫科普洛斯;奥拉·彼得森 关于自适应并行排序的注释。 (英语) 兹伯利0689.68086 信息处理。莱特。 33187-191年第4期(1989年).MSC公司:68页第10页 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Levcopoulos}和\textit{O.Peterson},Inf.过程。莱特。33,第4号,187--191(1989;Zbl 0689.68086) 全文: 内政部
富山,吉藤义彦 使用术语重写系统编译器快速完成Knuth-Bendix。 (英语) Zbl 0677.68021号 信息处理。莱特。 32,第6号,325-328(1989).MSC公司:第68季度第65季度 65年第68季度 68N99型 68吨15 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{Y.富山},Inf.流程。莱特。32,第6号,325--328(1989;Zbl 0677.68021) 全文: 内政部
埃里克·C·R·海纳。 实时编程。 (英语) Zbl 0664.68027号 信息处理。莱特。 30,第1期,第51-56页(1989年).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner},Inf.过程。莱特。30,编号1,51-56(1989;Zbl 0664.68027) 全文: 内政部
詹姆斯·安德森。;穆罕默德·古达。 非原子程序的原子语义。 (英语) 兹比尔0658.68017 信息处理。莱特。 28,第2期,99-103(1988).MSC公司:60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Anderson}和\textit{M.G.Gouda},Inf.过程。莱特。28,第2号,99--103(1988;Zbl 0658.68017) 全文: 内政部
雅塞克·莱斯齐洛夫斯基;斯塔凡·邦尼尔;简·马卢西恩斯基 带外部过程的逻辑编程:引入S统一。 (英语) Zbl 0635.68002号 信息处理。莱特。 27,第3号,159-165(1988).MSC公司:68号01 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Leszczylowski}等人,《Inf.过程》。莱特。27,第3号,159--165(1988;Zbl 0635.68002) 全文: 内政部
C.A.R.霍尔。;何继峰 最弱的预规范。 (英语) Zbl 0622.68025号 信息处理。莱特。 24, 127-132 (1987).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{J.He},Inf.过程。莱特。24、127--132(1987年;Zbl 0622.68025) 全文: 内政部
薄荷,G。;E.图古。 陈述性语言的语义。 (英语) Zbl 0607.68006号 信息处理。莱特。 23, 147-151 (1986).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷}和\textit{E.Tyugu},Inf.加工。莱特。23147--151(1986年;Zbl 0607.68006) 全文: 内政部
托马斯·Räuchle;萨姆·图格 很难检测通信进程是否存在死锁。 (英语) Zbl 0575.68021号 信息处理。莱特。 21, 63-68 (1985).MSC公司:第68页第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Räuchle}和\textit{S.Toueg},Inf.过程。莱特。21、63-68(1985年;Zbl 0575.68021) 全文: 内政部
莱泽克·霍伦德斯基 关于指定和验证并发进程的说明。 (英语) Zbl 0559.68033号 信息处理。莱特。 18, 77-85 (1984).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{L.Holenderski},Inf.过程。莱特。18、77——85(1984;Zbl 0559.68033) 全文: 内政部
R.G.古普塔。;斯利瓦斯塔瓦,V.S.P。 关于调度算法的综合。 (英语) Zbl 0547.68038号 信息处理。莱特。 19, 147-150 (1984).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Gupta}和\textit{V.S.P.Srivastava},Inf.Process。莱特。19、147-150(1984年;Zbl 0547.68038) 全文: 内政部
迈克尔·菲舍尔。;迈克尔·帕特森。 公平调度的存储要求。 (英语) Zbl 0519.68054号 信息处理。莱特。 17, 249-250 (1983).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Fischer}和\textit{M.S.Paterson},Inf.过程。莱特。17、249--250(1983年;Zbl 0519.68054) 全文: 内政部
斯特凡·赫特尔 平滑排序在预排序序列上的行为。 (英语) Zbl 0506.68048号 信息处理。莱特。 16, 165-170 (1983).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{S.Hertel},Inf.过程。莱特。16、165-170(1983年;Zbl 0506.68048) 全文: 内政部 内政部
Edsger W.Dijkstra。;范·加斯特伦(A.J.M.van Gasteren)。 介绍三种原位排序算法。 (英语) Zbl 0491.68059号 信息处理。莱特。 15, 129-134 (1982).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Dijkstra}和\textit{A.J.M.van Gasteren},Inf.Process。莱特。15、129--134(1982年;Zbl 0491.68059) 全文: 内政部