大卫·J·皮尔斯。;乌廷，马克;林赛·格罗夫斯 使用Boogie验证Whiley程序。 （英语） Zbl 1512.68059号 J.汽车。推理 66，第4期，747-803（2022）.MSC公司：68纳米30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pearce}等人，J.Autom。推理66，No.4，747--803（2022；Zbl 1512.68059） 全文： 内政部 OA许可证
保拉·吉安尼尼;阿尔伯特·沙奇里 将函数式语言编译成脚本语言的一种经证明是正确的。 （英语） Zbl 1424.68028号 科学。Ann.计算。科学。 27，第1号，19-76（2017）.MSC公司：68甲15 68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Giannii}和\textit{A.Shaqiri}，科学。Ann.计算。科学。27，第1号，19--76（2017；Zbl 1424.68028） 全文： 内政部
维勒姆诺瓦克 时间序列的语言特征。 （英语） Zbl 06840655号 模糊集系统。 285, 52-72 (2016).MSC公司：62M10个 62M86型 68层37 68T05型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák}，模糊集系统。285，52-72（2016年；兹bl 06840655） 全文： 内政部
维勒姆诺瓦克 从自然语言句子形式的时间序列中挖掘信息。 （英语） 兹伯利1386.68186 国际J近似推理 78, 192-209 (2016).MSC公司：68T50型 03B52号 62M10个 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák}，Int.J.近似推理78，192--209（2016；Zbl 1386.68186） 全文： 内政部
亚辛，A.D。;科什切娃，A.K。 超直觉逻辑L2中的新常数。 （英语。俄文原件） Zbl 1331.03027号 数学。笔记 94，第6期，938-950（2013）；翻译自Mat.Zametki 94，No.6，918-932（2013）。 审核人：亚历克斯·西特金（沃伦） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Yashin}和\textit{A.K.Koshcheeva}，数学。附注94，第6号，938--950（2013；Zbl 1331.03027）；翻译自Mat.Zametki 94，No.6，918--932（2013） 全文： 内政部
约翰·汉南;戴尔·米勒 从操作语义到抽象机器。 （英语） Zbl 0798.68099号 数学。结构。计算。科学。 2，第4期，415-459（1992）.MSC公司：第68季度55 2005年第68季度 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Hannan｝和\textit｛D.Miller｝，数学。结构。计算。科学。2，第4号，415--459（1992；Zbl 0798.68099） 全文： 内政部
铃木，Nobu-Yuki 以一类具有无限个独立域的代数框架为特征的中间逻辑。 （英语） Zbl 0678.03006号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，No.2，63-71（1989）. 审核人：V.V.里巴科夫 MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木}，公牛。第节。逻辑，Pol。阿卡德。科学。18，编号2，63--71（1989；Zbl 0678.03006）
库利克，B.A。;拉霍夫，Eh.V。 基于矩阵表示的软件，用于某些非数值应用。 （英语。俄文原件） Zbl 0679.68014号 程序。计算。软件 14，No.2，71-75（1988）；译自Programmirovanie 1988，No.2，26-31（1988）。MSC公司：68号01 68年 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Kulik}和\textit{Eh.V.Rakhov}，程序。计算。柔和。14，No.2，71--75（1988；Zbl 0679.68014）；译自Programmirovanie 1988，No.2，26-31（1988）
伊诺，E。;科尔贝尔，D。 Sequentielle und parallel Architekturansätze für logische Programmiersprachen公司。（逻辑编程语言体系结构的顺序和并行概念）。 （德语） 兹比尔0655.68013 福施·Informatik。恩特维克。3，第4期，182-194（1988）。MSC公司：68N99型 68N25号 2005年第68季度 68吨15 PDF格式BibTeX公司 XML格式
唐志松;郑茂松;李欣 二级形式语义和语义定向编译。 （英语） Zbl 0605.68020号 科学。罪。，序列号。A类 28, 991-1001 (1985).MSC公司：68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Tang}等人，科学。罪。，序列号。A 28，991--1001（1985；Zbl 0605.68020）
乔治耶夫，B。 一个子类上下文无关文法的可分解性。 （保加利亚语。英语、俄语摘要） Zbl 0575.68080号 Avtom公司。伊兹奇塞尔。泰克。 17，No.1，46-49（1983）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Georgiev}，Avtom。伊兹奇什利特纳（Izchislitelna Tekh）。17，编号1，46-49（1983；Zbl 0575.68080）
约翰·斯莱普。;彼得·J·L·沃利斯。 使用中间树表示将Fortran转换为Ada。 （英语） Zbl 0517.68038号 计算。J。 26, 344-353 (1983).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Slape}和\textit{P.J.L.Wallis}，计算。J.26，344--353（1983；Zbl 0517.68038） 全文： 内政部
奥古斯托·塞勒坦诺;德尔拉·维格纳（Della Vigna）、皮埃尔路易吉（Pierluigi）;卡洛·盖齐;迪诺·曼德里奥利 简单：程序开发系统。 （英语） Zbl 0433.68015号 计算。语言。 5, 103-114 (1980).MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Celentano}等人，《计算》。语言5，103--114（1980；Zbl 0433.68015） 全文： 内政部
埃瓦州卡宾斯卡 关于无含意语言中的标准结果运算。 （英语） Zbl 0449.03018号 牛市。第节。逻辑，Pol。阿卡德。科学。 8, 202-205 (1979).MSC公司：03B55号 03G10年 PDF格式BibTeX公司 XML格式引用 \发短信给公牛队。第节。逻辑，Pol。阿卡德。科学。8202-205（1979；Zbl 0449.03018）
E.F.埃尔斯沃思。 通过中间语言编译。 （英语） Zbl 0425.68016号 计算。J。 22, 226-233 (1979).MSC公司：68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.F.Elsworth}，计算。J.22，226--233（1979；Zbl 0425.68016） 全文： 内政部