安娜·玛丽亚,比加蒂;洛伦佐·罗比亚诺 子代数、SAGBI基和U不变量的饱和。 (英语) Zbl 1472.13044号 J.塞姆。计算。 109, 259-282 (2022). 审核人:阿米尔·哈希米(伊斯法罕) MSC公司:13页第10页 08A30型 13-04 14兰特20 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Bigatti}和\textit{L.Robbiano},J.Symb。计算。109259--282(2022年;Zbl 1472.13044) 全文: 内政部 arXiv公司
Elizabeth S.奥尔曼。;约翰·A·罗兹。 固定碱组成的系统发育不变量。 (英语) Zbl 1120.92031号 J.塞姆。计算。 41,第2期,138-150(2006).MSC公司:92D15型 第13页99 08B99号 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Allman}和\textit{J.A.Rhodes},J.Symb。计算。41,第2号,138--150(2006;Zbl 1120.92031) 全文: 内政部 arXiv公司
菲利普斯,J.D。;彼得·沃伊特乔夫斯基 线性群胚及其花环积。 (英语) Zbl 1125.20052号 J.塞姆。计算。 40,第3期,1106-1125(2005).MSC公司:20号02 08B15号 20号05 68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Phillips}和\textit{P.Vojtěchovsk \283],J.Symb。计算。40,第3号,1106--1125(2005;Zbl 1125.20052) 全文: 内政部 arXiv公司
谢尔盖·伯克尔 有限集上任意映射的初等分解。 (英语) Zbl 1137.08300号 J.塞姆。计算。 37,第3号,305-310(2004).MSC公司:08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Burckel},J.Symb。计算。37,第3号,305-310(2004;Zbl 1137.08300) 全文: 内政部
安德烈亚·福米萨诺;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;马可·坦佩里尼 自动地图推理的目标和基准。 (英语) Zbl 0965.03014号 J.塞姆。计算。 29,第2期,259-297(2000).MSC公司:03B35型 03G99型 68吨15 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Formisano}等人,J.Symb。计算。29,第2号,259--297(2000;Zbl 0965.03014) 全文: 内政部 链接
Larsen,Kim S。;迈克尔·施瓦茨巴赫。 复合函数的注入性。 (英语) Zbl 0805.68074号 J.塞姆。计算。 17,第5号,393-408(1994).MSC公司:68瓦30 03E20型 65年第68季度 68页第10页 68问题65 08A70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Larsen}和\textit{M.I.Schwartzbach},J.Symb。计算。17,第5号,393--408(1994;Zbl 0805.68074) 全文: 内政部
伊芙琳·孔特让 通过归约到(AC1)-统一来解决模分配性的(*)-问题。 (英语) Zbl 0803.68059号 J.塞姆。计算。 16,第5期,493-521(1993).MSC公司:第68季度第42季度 03B25号 68吨15 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Contejean},J.Symb。计算。16,第5号,493--521(1993;Zbl 0803.68059) 全文: 内政部
斯坦利·伯里斯;约翰·劳伦斯 有限环的等价问题。 (英语) Zbl 0779.16007号 J.塞姆。计算。 第1期第15页,第67-71页(1993年). 审核人:F.R.Bobovich(圣彼得堡) MSC公司:第16页第10页 08A40号 65年第68季度 16号40 PDF格式BibTeX公司 XML格式引用 \textit{S.Burris}和textit{J.Lawrence},J.Symb。计算。15,编号1,67--71(1993;Zbl 0779.16007) 全文: 内政部
乔治·麦克纳尔蒂。 方程式逻辑领域指南。 (英语) Zbl 0781.03011号 J.塞姆。计算。 14,第4期,371-397(1992). 审核人:S.Oates-Williams(圣卢西亚) MSC公司:05年3月 08B05号 03-01 2001年8月 03B25号 第68季度第42季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \发短信{G.F.McNulty},J.Symb。计算。14,第4号,371--397(1992;Zbl 0781.03011) 全文: 内政部
斯坦利·伯里斯 鉴别器变体和符号计算。 (英语) Zbl 0803.08002号 J.塞姆。计算。 第13期,第2期,175-207(1992).MSC公司:08B05号 08A70号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Burris},J.Symb。计算。13,第2号,175--207(1992;Zbl 0803.08002) 全文: 内政部
曼弗雷德·施密特·沙乌 任意不相交等式理论的组合中的统一。 (英语) Zbl 0691.03003号 J.塞姆。计算。 8,编号1-2,51-99(1989). 审核人:C.马萨拉吉 MSC公司:03B35型 05年3月 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß},J.Symb。计算。8,编号1--2,51-99(1989;Zbl 0691.03003) 全文: 内政部
何塞·梅塞盖尔;约瑟夫·戈根(Joseph A.Goguen)。;格特·斯莫尔卡 有序统一。 (英语) Zbl 0691.0302号 J.塞姆。计算。 8,第4期,383-413(1989). 审核人:C.马萨拉吉 MSC公司:03B35型 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,J.Symb。计算。8,第4号,383--413(1989;Zbl 0691.0302) 全文: 内政部
帕特里克·林肯;克里斯蒂安,吉姆 联想-交换统一的冒险。 (英语) Zbl 0686.68026号 J.塞姆。计算。 8,编号1-2,217-240(1989). 审核人:A.佩特罗西 MSC公司:68瓦30 08A50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Lincoln}和textit{J.Christian},J.Symb。计算。8,编号1--2,217--240(1989;Zbl 0686.68026) 全文: 内政部
布赫伯格,布鲁诺 关键路径/完成程序的历史和基本特征。 (英语) Zbl 0645.68094号 J.塞姆。计算。 3, 3-38 (1987).MSC公司:68吨15 68瓦30 第68季度第45季度 08A50号 01-02 68-03 PDF格式BibTeX公司 XML格式引用 \textit{B.Buchberger},J.Symb。计算。3、3--38(1987年;Zbl 0645.68094) 全文: 内政部
凯瑟琳·耶利克。 无崩塌正则理论组合中的统一。 (英语) Zbl 0638.68105号 J.塞姆。计算。 3, 153-181 (1987).MSC公司:68吨15 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Yelick},J.Symb。计算。3153--181(1987年;Zbl 0638.68105) 全文: 内政部
埃里克·蒂登;斯特凡·阿恩伯格 单边分布的统一问题。 (英语) Zbl 0638.68104号 J.塞姆。计算。 183-202年3月(1987年).MSC公司:68吨15 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{E.Tiden}和\textit{S.Arnborg},J.Symb。计算。3183-202(1987年;兹bl 0638.68104) 全文: 内政部
弗朗索瓦·法赫斯 关联交换统一。 (英语) Zbl 0638.68103号 J.塞姆。计算。 3, 257-275 (1987).MSC公司:68吨15 08B05号 2004年11月11日 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages},J.Symb。计算。3、257--275(1987年;Zbl 0638.68103) 全文: 内政部