坎通纳,多梅尼科;吉安卢卡·辛科蒂;乔瓦尼·加洛 实际分析片段的决策算法。一: 具有严格凸性和凹性谓词的连续函数。 (英语) 邮编1125.03009 J.塞姆。计算。 41,第7期,763-789(2006).MSC公司:03B25号 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人,J.Symb。计算。41,第7号,763--789(2006;Zbl 1125.03009) 全文: 内政部
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 有界高阶统一的判定性。 (英语) Zbl 1126.03017号 J.塞姆。计算。 40,第2期,905-954(2005).MSC公司:03B25号 03B40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz},J.Symb。计算。40,第2号,905--954(2005;Zbl 1126.03017) 全文: 内政部 链接
平田洋一;Keizo山田;马塞特鲁·哈罗 可牵引且棘手的二阶匹配问题。 (英语) 兹伯利1137.68411 J.塞姆。计算。 37,第5611-628号(2004年).MSC公司:65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Hirata}等人,J.Symb。计算。37,第5号,611--628(2004;Zbl 1137.68411) 全文: 内政部
迈克尔·科尔哈斯;安德烈亚斯·弗兰克 MBase:表示数学软件系统集成的知识和上下文。 (英语) Zbl 0981.68153号 J.塞姆。计算。 32,第4期,365-402(2001).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{A.Franke},J.Symb。计算。32,第4号,365--402(2001;Zbl 0981.68153) 全文: 内政部
韦恩·斯奈德;吉恩·加利耶 重新审视高阶统一:完整的转换集。 (英语) 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) 全文: 内政部