卡雷尔·库达 关于AST中(Sd_V)-类系统的任何半集的附加。 (英语) Zbl 0696.03027号 评论。数学。卡罗尔大学。 30,第4期,775-778(1989). 审核人:K.采达 MSC公司:03电子70 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{K.采达},评论。数学。卡罗尔大学。30,第4号,775--778(1989;Zbl 0696.03027) 全文: 欧洲DML
韦恩·斯奈德;吉恩·盖利埃 重新审视高阶统一:完整的转换集。 (英语) Zbl 0682.03034号 J.塞姆。计算。 8,编号1-2,101-140(1989). 审核人:N.扎莫夫 MSC公司:35楼03号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.Snyder}和\textit{J.Gallier},J.Symb。计算。8,编号1--2,101-140(1989;Zbl 0682.03034) 全文: 内政部
菲利普·勒·切纳迪克 关于统一的逻辑。 (英语) Zbl 0682.03033号 J.塞姆。计算。 8,第1-2号,141-199(1989). 审核人:N.扎莫夫 MSC公司:35楼03号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Le Chenadec},J.Symb。计算。8,编号1--2,141--199(1989;Zbl 0682.03033) 全文: 内政部
温弗里德·K·格拉斯曼。;Joti L.Jain。 算法GI/G/1队列的等待时间分布和空闲时间分布的数值解。 (英语) Zbl 0674.90037号 操作。物件。 37,第1期,141-150(1989).MSC公司:90B25型 60K25码 PDF格式BibTeX公司 XML格式引用 \textit{W.K.Grassmann}和\textit{J.L.Jain},Oper。第37号决议,第1号,141--150(1989;Zbl 0674.90037) 全文: 内政部