Mints，G。 直觉命题演算子类的复杂性。 （英语） Zbl 0790.03041号 比特币 32，第1期，64-69页（1992年）. 审核人：M.Teruamšvili（第比利斯） MSC公司：2015年3月1日 03B25号 03B20型 65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}，BIT 32，编号1，64--69（1992；Zbl 0790.03041） 全文： 内政部
梅里斯特，梅里克;Jaan Penjam 面向基于知识的语言规范。 （英语） Zbl 1412.68029号 Bárzdiṇsh，Jánis（编辑）等人，波罗的海计算机科学。精选论文。柏林等：Springer-Verlag。莱克特。注释计算。科学。502, 65-76 (1991).MSC公司：68甲15 2012年第68季度 60年第68季度 68层35 PDF格式BibTeX公司 XML格式引用 \textit{M.Meriste}和\textit{J.Penjam}，莱克特。注释计算。科学。50265--76（1991年；Zbl 1412.68029） 全文： 内政部
薄荷，格里高利;史密斯，简·M。;恩恩·图古 类型——一些声明性语言的理论语义。 （英语） Zbl 1412.68043号 Bárzdiṇsh，Jánis（编辑）等人，波罗的海计算机科学。精选论文。柏林等：Springer-Verlag。莱克特。注释计算。科学。502, 18-32 (1991).MSC公司：68号30 03B70号 68甲15 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}等人，Lect。注释计算。科学。50218--32（1991年；Zbl 1412.68043） 全文： 内政部
Mints，G。;E.图古。 编程系统PRIZ。 （英语） Zbl 1412.68044号 Bárzdiṇsh，Jánis（编辑）等人，波罗的海计算机科学。精选论文。柏林等：Springer-Verlag。莱克特。注释计算。科学。502, 1-17 (1991).MSC公司：68号30 03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}和\textit{E.Tyugu}，莱克特。注释计算。科学。502、1-17（1991年；Zbl 1412.68044） 全文： 内政部
恩恩·图古 高阶数据流模式。 （英语） Zbl 0731.68035号 西奥。计算。科学。 90，第1期，185-198（1991）.MSC公司：2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Tyugu}，Theor（西奥）。计算。科学。90，第1号，185--198（1991；Zbl 0731.68035） 全文： 内政部
Nepejvoda，N.N。 构造逻辑和计算机编程之间的桥梁。 （英语） Zbl 0737.68009号 西奥。计算。科学。 90，第1期，253-270（1991）. 审核人：P.G.Holban（伊阿什） MSC公司：68号01 03B80号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Nepejvoda}，Theor（西奥）。计算。科学。90，第1号，253--270（1991；Zbl 0737.68009） 全文： 内政部
Jaan Penjam 形式语言的计算模型和属性模型。 （英语） 兹伯利0698.68067 西奥。计算。科学。 71，No.2，241-264（1990）.MSC公司：65年第68季度 60年第68季度 68问题55 68N99型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.彭杰姆}，Theor。计算。科学。71，第2号，241--264（1990；Zbl 0698.68067） 全文： 内政部
薄荷，G。;E.图古。 编程系统PRIZ。 （英语） Zbl 0647.68098号 J.塞姆。计算。 5，第3号，359-375（1988）.MSC公司：68T99型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}和\textit{E.Tyugu}，J.Symb。计算。5，第3号，359--375（1988；Zbl 0647.68098） 全文： 内政部
薄荷，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） 全文： 内政部
道格拉斯·史密斯。 分治算法的自顶向下综合。 （英语） Zbl 0573.68053号 Artif公司。智力。 27, 43-96 (1985).MSC公司：68T20型 68N99型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith}，阿蒂夫。智力。27、43——96（1985年；Zbl 0573.68053） 全文： 内政部