玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 有序同胚嵌入结合性和/或交换性公理的模组合。 (英语) Zbl 1497.68235号 芬丹。通知。 177,编号3-4,297-329(2020).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{M.Alpuente}等人,Fundam。通知。177,编号3--4,297--329(2020;Zbl 1497.68235) 全文: 内政部 arXiv公司
Alpunte,M。;A.昆卡-奥尔特加。;埃斯科瓦尔,S。;梅塞盖尔,J。 序排序方程程序模公理的部分求值框架。 (英语) Zbl 1494.68048号 J.日志。阿尔盖布。方法计划。 110,文章ID 100501,36 p.(2020).MSC公司:68号30 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100501,36 p.(2020;Zbl 1494.68048) 全文: 内政部
迈克尔·霍切;彼得·萨博 基本制服。 (英语) Zbl 1108.03019号 J.应用。日志。 4,第1号,1-25(2006). 审核人:Nail Zamov(喀山) MSC公司:03B35型 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoche}和\textit{P.Szabó},J.Appl。日志。4、编号1、1--25(2006;Zbl 1108.03019) 全文: 内政部
穆罕默德·阿迪;克洛德·基什内尔 AC统一竞赛:系统解决方法、实现和基准。 (英语) Zbl 0769.68053号 J.塞姆。计算。 14,第1期,第51-70页(1992年).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Adi}和\textit{C.Kirchner},J.Symb。计算。14,No.1,51--70(1992;Zbl 0769.68053) 全文: 内政部
亚历山大·博克迈尔 统一的代数和逻辑方面。 (英语) Zbl 1518.68153号 Schulz,K.U.(编辑),单词方程和相关主题。1990年10月1日至3日,德国杜宾根IWWERT’90第一届国际研讨会。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。572, 171-180 (1992).MSC公司:2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bockmayr},莱克特。注释计算。科学。572171-180(1992年;Zbl 1518.68153) 全文: 内政部
弗兰兹·巴德 统一理论。 (英语) Zbl 1518.68151号 Schulz,K.U.(编辑),单词方程和相关主题。1990年10月1日至3日,德国杜宾根IWWERT’90第一届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。572, 151-170 (1992).MSC公司:2012年第68季度 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader},莱克特。注释计算。科学。572151-170(1992年;Zbl 1518.68151) 全文: 内政部
拉尔夫·特里宁 一种新的一阶理论不可判定性证明方法。 (英语) Zbl 0769.03026号 J.塞姆。计算。 14,第5期,437-457(1992).MSC公司:03天35分 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Treinen},J.Symb。计算。14,第5号,437--457(1992;Zbl 0769.03026) 全文: 内政部
门闩,Dana May 基本群胚和句法代数统一算法之间的联系(扩展抽象)。 (英语) Zbl 0768.68084号 加利福尼亚州。拓扑Géom。差异。猫。 32,第3期,203-242(1991).MSC公司:2012年第68季度 03天35分 18B40码 18G99型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.闩锁},加利福尼亚州。拓扑Géom。差异。Catégoriques 32,No.3,203--242(1991;Zbl 0768.68084) 全文: Numdam编号 欧洲DML
沃纳·纳特 单体理论中的统一。 (英语) Zbl 1509.03045号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 618-632 (1990).MSC公司:03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Nutt},莱克特。注释计算。科学。449、618--632(1990年;Zbl 1509.03045) 全文: 内政部
巴利亚特·纳伦德兰;弗里德里希·奥托 关于方程统一的一些结果。 (英语) Zbl 1509.68122号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 276-291 (1990).MSC公司:2012年第68季度 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}和\textit{F.Otto},莱克特。注释计算。科学。449276-291(1990年;Zbl 1509.68122) 全文: 内政部