卢什曼,布拉德;戈登·V·科马克。 证明Ressel所采用算法的正确性。 (英语) 兹比尔1162.68373 信息处理。莱特。 86,第6号,303-310(2003).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{B.Lushman}和\textit{G.V.Cormack},Inf.过程。莱特。86,第6号,303--310(2003;Zbl 1162.68373) 全文: 内政部
Yun、In-Sig;Choe,Kwang-Moo先生;Han、Taisook 使用修复模式修复语法错误。 (英语) Zbl 0797.68034号 信息处理。莱特。 47,第4期,189-196(1993).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{I.-S.Yun}等人,《信息处理》。莱特。47,第4号,189--196(1993;Zbl 0797.68034) 全文: 内政部
王庆林 在SCHEME中使用continuation获得惰性求值。 (英语) Zbl 0697.68019号 信息处理。莱特。 35,第2期,93-97(1990).MSC公司:68号01 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang},Inf.流程。莱特。35,No.2,93--97(1990;Zbl 0697.68019) 全文: 内政部
托马斯·克劳茨克 变异文法纠错。 (英语) 兹比尔0454.68101 信息处理。莱特。 11, 9-15 (1980).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Krawczyk},Inf.过程。莱特。11、9——15(1980;Zbl 0454.68101) 全文: 内政部