科林·布隆菲尔德;丸山义弘 一阶逻辑的纤维泛代数。 (英语) Zbl 07740043号 J.纯应用。代数 228,第2期,文章ID 107415,33页(2024).MSC公司:03G30型 03G27号 03B60号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Bloomfield}和\textit{Y.Maruyama},J.Pure Appl。代数228,第2号,文章ID 107415,33页(2024;Zbl 07740043) 全文: 内政部 arXiv公司
弗拉基米尔·沃沃德斯基 相对单体上模的C系。 (英语) Zbl 1507.18009号 J.纯应用。代数 227,第6号,文章ID 107283,61 p.(2023). 审核人:Hirokazu Nishimura(筑波) MSC公司:18立方厘米 03B60号 18号45 PDF格式BibTeX公司 XML格式引用 \textit{V.Voevodsky},J.Pure应用。代数227,第6号,文章ID 107283,61 p.(2023;Zbl 1507.18009) 全文: 内政部 arXiv公司
上村,太极 万能指数箭头。 (英语) Zbl 1524.18005号 J.纯应用。代数 226,第7期,文章ID 106991,32页(2022).MSC公司:18A40型 18立方厘米 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{T.Uemura},J.Pure应用。代数226,第7号,文章ID 106991,32页(2022;Zbl 1524.18005) 全文: 内政部 arXiv公司
J.Daniel克里斯滕森;埃格伯特,里克 方式和方式法的特征。 (英语) Zbl 1482.18015号 J.纯应用。代数 226,第3期,文章ID 106848,21页(2022). 审核人:Hirokazu Nishimura(筑波) MSC公司:18号55 03B38型 03B45 03G30型 18号60 55页60 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Christensen}和\textit{E.Rijke},J.Pure Appl。代数226,第3号,文章ID 106848,21页(2022;Zbl 1482.18015) 全文: 内政部 arXiv公司
马克·贝泽姆;乌尔里克·巴赫霍尔茨;丹尼尔·格雷森(Daniel R.Grayson)。;迈克尔·舒尔曼 圆的构造大学数学. (英语) Zbl 07357172号 J.纯应用。代数 225,第10号,文章ID 106687,21页(2021).MSC公司:03B38型 03B70号 55单位35 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}等人,J.Pure Appl。代数225,第10号,文章ID 106687,21页(2021;Zbl 07357172) 全文: 内政部 arXiv公司
Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 具有属性的类别中的同伦逆图。 (英语) Zbl 1453.18007号 J.纯应用。代数 225,第4期,文章ID 106563,44页(2021). 审核人:Panagis Karazeris(帕特拉) MSC公司:18 C50 03B38型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Kapulkin}和\textit{P.L.Lumsdaine},J.Pure Appl。代数225,第4号,文章ID 106563,44页(2021;Zbl 1453.18007) 全文: 内政部 arXiv公司
马塞尔·杰克逊;蒂姆·斯托克斯 覆盖和更新。 (英语) Zbl 1454.08004号 J.纯应用。代数 225,第3号,文章ID 106532,17页(2021).MSC公司:08A70号 03B35型 20平方米 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},J.Pure Appl。代数225,第3号,文章ID 106532,17页(2021;Zbl 1454.08004) 全文: 内政部 arXiv公司
雅各布·埃梅内格;法比奥·帕斯夸利;朱塞佩·罗索里尼 作为联盟的基本教义。 (英语) Zbl 1469.18008号 J.纯应用。代数 224,第12号,文章ID 106445,15页(2020年). 审核人:尼玛·拉塞克(洛桑) MSC公司:18 C50 03G30型 18个C20 03B10号机组 03B20型 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Emmeneger}等人,J.Pure Appl。代数224,第12号,文章ID 106445,15页(2020;Zbl 1469.18008) 全文: 内政部 链接
莱昂纳多·卡布雷(Leonardo M.Cabrer)。;希拉里·普里斯特利(Hilary A.Priestley)。 Sugihara代数:通过测试空间方法的可容许代数。 (英语) Zbl 1480.03062号 J.纯应用。代数 224,第5号,文章ID 106228,29页(2020).MSC公司:03G25号 03B47号 08C15号 08C20号 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Cabrer}和\textit{H.A.Priestley},J.Pure Appl。代数224,第5号,文章ID 106228,29 p.(2020;Zbl 1480.03062) 全文: 内政部 arXiv公司
索尼娅,新奥世;法国波因特 Bézout域和格值模。 (英语) Zbl 1476.03048号 J.纯应用。代数 224,1号,444-467(2020). 审核人:Mihai Prunescu(布加勒斯特) MSC公司:03C60型 03B25号 03C10号机组 13甲18 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{S.L'Innocente}和\textit{F.Point},J.Pure Appl。代数224,No.1,444--467(2020;Zbl 1476.03048) 全文: 内政部 arXiv公司
阿尔穆德娜·科拉西托;乔治·梅特卡夫 有序群与格序群的有效性。 (英语) Zbl 07094341号 J.纯应用。代数 223,第12号,5163-5175(2019).MSC公司:03B25号 03C05号机组 05年6月 2015年1月6日 20E05年 PDF格式BibTeX公司 XML格式引用 \textit{A.Colacito}和\textit{G.Metcalfe},J.Pure Appl。代数223,第12期,5163-5175(2019;Zbl 07094341) 全文: 内政部 arXiv公司 链接
莫拉希尼,T。;J.G.拉弗瑞。;J.J.Wannenburg。 De Morgan幺半群的种类:极小性和不可约代数。 (英语) Zbl 1506.06008号 J.纯应用。代数 223,第7期,2780-2803(2019).MSC公司:05年6月 03B47号 06时30分 08B15号 03C25号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}等人,J.Pure Appl。代数223,第7号,2780--2803(2019;Zbl 1506.06008) 全文: 内政部 arXiv公司
尼古拉斯·加拉托斯;JoséGil-Férez 量子类上的模:代数逻辑和(pi)-机构中同构问题的应用。 (英语) Zbl 1448.03054号 J.纯应用。代数 221、1号、1-24(2017).MSC公司:03G30型 03B22号 03B70号 2015年1月6日 07年6月 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}和\textit{J.Gil-Férez},J.Pure Appl。代数221,No.1,1--24(2017;Zbl 1448.03054) 全文: 内政部
JoséGil-Férez;安东尼奥·莱达;弗朗西斯科·保利;君士坦丁·齐纳基斯 逻辑的可投射群和代数:范畴和代数连接。 (英语) Zbl 1345.06013号 J.纯应用。代数 220,第10号,3514-3532(2016). 审核人:Afrodita Iorgulescu(布加勒斯特) MSC公司:2015年1月6日 05年6月 03B47号 03G10年 06B20号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.Gil-Férez}等人,J.Pure Appl。代数220,No.10,3514--3532(2016;Zbl 1345.06013) 全文: 内政部
拉彭塔,S。;我·卢什坦。 Łukasiewicz逻辑代数结构的标量扩展。 (英语) Zbl 1333.06028号 J.纯应用。代数 220,第4期,1538-1553(2016). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:05年6月 20层06 03B50号 03G25号 15A69号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lapenta}和\textit{I.Leuštean},J.Pure Appl。代数220,第4期,1538-1553(2016年;Zbl 1333.06028) 全文: 内政部 arXiv公司
Richard加纳 类型依赖的组合结构。 (英语) Zbl 1369.03096号 J.纯应用。代数 219,第6期,1885-1914(2015).MSC公司:03B15号机组 03G30型 18立方厘米 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Garner},J.Pure应用。《代数219》,第6期,1885-1914(2015;Zbl 1369.03096) 全文: 内政部 arXiv公司
罗斯蒂斯拉夫·霍奇克 打结剩余格的单词问题。 (英语) Zbl 1312.06012号 J.纯应用。代数 219,第5期,1548-1563(2015). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:05年6月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.Horík},J.Pure Appl.(《纯粹应用》)。《代数》219,第5期,1548——1563(2015;Zbl 1312.06012) 全文: 内政部
Belluce,L.P.公司。;迪诺拉,A。;Lenzi,G。 超有限MV-代数。 (英语) Zbl 1276.06006号 J.纯应用。代数 217,第7期,1208-1223(2013). 审核人:马特奥·比安奇(米兰) MSC公司:05年6月 03B50号 03B25号 03C10号机组 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Belluce}等人,J.Pure Appl。代数217,No.7,1208--1223(2013;Zbl 1276.06006) 全文: 内政部
多米尼克·J·D·休斯。 简单的自由星体自治类别和完全一致性。 (英语) Zbl 1264.18009号 J.纯应用。代数 216,第11期,2386-2410(2012). 审核人:Marek Golasiński(奥尔斯廷) MSC公司:18日第15天 03B47号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{D.J.D.Hughes},J.Pure应用程序。《代数》216,第11期,2386--2410(2012;Zbl 1264.18009) 全文: 内政部 arXiv公司
加拉托斯,N。;J.G.拉弗瑞。 奇Sugihara幺半群的范畴等价及其应用。 (英语) Zbl 1279.03043号 J.纯应用。代数 216,第10期,2177-2192(2012). 审核人:Hiroki Takamura(东京) MSC公司:03B47号 03B52号 03G27号 99年6月 05年6月 08C05号机组 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}和\textit{J.G.Raftery},J.Pure Appl。代数216,No.10,2177--2192(2012;Zbl 1279.03043) 全文: 内政部
阿克曼,纳撒尼尔·利多姆 可实现拓扑中可数模型的数量。 (英语) Zbl 1269.03061号 J.纯应用。代数 216,第8-9号,1994-2013(2012).MSC公司:03G30型 03B20型 03立方厘米15 03C90号 18对25 PDF格式BibTeX公司 XML格式引用 \textit{N.L.Ackerman},J.Pure应用。《代数216》,第8--9期,1994--2013(2012;Zbl 1269.03061) 全文: 内政部
科斯塔·多森;佐兰·佩特里奇 模式的一致性。 (英语) Zbl 1222.03025号 J.纯应用。代数 215,第7期,1606-1628(2011).MSC公司:03B45 07年3月 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen}和\textit{Z.Petrić},J.Pure Appl。《代数》215,第7期,1606--1628(2011;Zbl 1222.03025) 全文: 内政部 arXiv公司
安纳托利赫·德武雷·恩斯基 线性伪箍的Aglian’-Montagna型分解及其应用。 (英语) Zbl 1123.06007号 J.纯应用。代数 211,编号3,851-861(2007). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:05年6月 03B50号 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Dvurečenskij},J.纯粹应用。代数211,No.3,851--861(2007;Zbl 1123.06007) 全文: 内政部
Ernst-Erich Doberkat Giry monad的Kleisli形态和随机同余。 (英语) 邮编1122.18004 J.纯应用。代数 211,编号3,638-664(2007). 审核人:达纳·皮奇乌(克雷奥瓦) MSC公司:18个C20 03B45 08A70号 18A32飞机 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},J.纯应用。代数211,No.3,638--664(2007;Zbl 1122.18004) 全文: 内政部
瓦列里·巴达科夫;弗拉基米尔·托尔斯蒂克 解释汤普森组(F)的算术。 (英语) Zbl 1161.20028号 J.纯应用。代数 211,第3号,633-637(2007).MSC公司:2010年1月20日 20甲15 30楼03号 03B25号 03C60型 20层65 PDF格式BibTeX公司 XML格式引用 \textit{V.Bardakov}和\textit{V.Tolstykh},J.Pure Appl。代数211,第3期,633--637(2007;Zbl 1161.20028) 全文: 内政部 arXiv公司
乔瓦尼·潘蒂 有限生成自由MV-代数的Bernoulli自同构。 (英语) Zbl 1110.06014号 J.纯应用。代数 208,第3期,941-950(2007). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:05年6月 37A05型 03B50号 37A25型 第37页第20页 37升40 PDF格式BibTeX公司 XML格式引用 \textit{G.Panti},J.Pure应用。代数208,第3期,941--950(2007;Zbl 1110.06014) 全文: 内政部 arXiv公司
卡斯滕·范尔曼;大卫·皮姆 经典序列演算的富序分类模型。 (英语) Zbl 1081.03068号 J.纯应用。代数 204,第1期,21-78(2006).MSC公司:03G30型 03B05号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Führmann}和\textit{D.Pym},J.Pure Appl。代数204,第1期,21-78(2006年;Zbl 1081.03068) 全文: 内政部
德扬·德里奇 由群的二面体变种产生的可判定局部有限鉴别器变种。 (英语) Zbl 1063.08006号 J.纯应用。代数 198,第1-3号,75-92(2005). 审核人:C.S.Kalfa(塞萨洛尼基) MSC公司:08B05号 03C05号机组 03B25号 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Delić},J.Pure Appl(纯应用)。代数198,No.1--3,75-92(2005;Zbl 1063.08006) 全文: 内政部
史蒂文·阿沃迪;拉尔斯·比克达尔 局部地形图的基本公理。 (英语) Zbl 1011.18002号 J.纯应用。代数 177,第3期,215-230(2003). 审核人:Hirokazu Nishimura(筑波) MSC公司:18对25 03G30型 03楼55 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}和\textit{L.Birkedal},J.Pure Appl。《代数177》,第3期,215--230(2003;Zbl 1011.18002) 全文: 内政部
塞琳·莫雷拉·多斯·桑托斯 强分离幺半群的分解。 (英语) Zbl 1003.06007号 J.纯应用。代数 172,第1期,25-47(2002).MSC公司:05年6月 03B25号 2014年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{C.Moreira Dos Santos},J.Pure Appl.(简·莫雷拉·多斯桑托斯)。代数172,第1期,25-47(2002;Zbl 1003.06007) 全文: 内政部
路易吉·桑托卡纳莱 自由\(\mu\)-格子。 (英语) 兹比尔0990.06004 J.纯应用。代数 168,编号2-3227-264(2002).MSC公司:06B25号 68问题55 91A43型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale},J.纯粹应用。《代数》168,No.2--3,227--264(2002;Zbl 0990.06004) 全文: 内政部
佛朗哥·蒙塔格纳;乔瓦尼·潘蒂 向MV-代数添加结构。 (英语) Zbl 0992.06012号 J.纯应用。代数 164,第3期,365-387(2001). 审核人:丹尼尔·蒙迪奇(米兰) MSC公司:05年6月 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{G.Panti},J.Pure Appl。代数164,No.3,365--387(2001;Zbl 0992.06012) 全文: 内政部
大卫·皮姆;艾克·里特 关于经典析取的语义。 (英语) Zbl 0981.03018号 J.纯应用。代数 159,编号2-3,315-338(2001). 审核人:安德烈亚·坎蒂尼(费伦泽) MSC公司:03B40型 03财年03 03G30型 03B05号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{E.Ritter},J.Pure Appl。代数159,No.2--3,315--338(2001;Zbl 0981.03018) 全文: 内政部
卡博尼,A。;罗索里尼,G。 局部笛卡尔闭合精确完井。 (英语) Zbl 0962.18001号 J.纯应用。代数 154,编号1-3,103-116(2000). 审核人:Jiri Rosický(布尔诺) MSC公司:18A35型 03B40型 18B30型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Carboni}和\textit{G.Rosolini},J.Pure Appl。代数154,No.1--3,103--116(2000;Zbl 0962.18001) 全文: 内政部
R.F.布鲁特。;科科特,J.R.B。;西利,R.A.G。 线性分布类别的反馈:轨迹和固定点。 (英语) 兹伯利0964.03063 J.纯应用。代数 154,编号1-3,27-69(2000). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03楼52 03G30型 18日第10天 03B70号 05年3月 19日23 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Blute}等人,J.Pure Appl。代数154,No.1--3,27-69(2000;Zbl 0964.03063) 全文: 内政部
巴纳比·希尔肯。 直觉模态代数的拓扑对偶性。 (英语) Zbl 0998.03016号 J.纯应用。代数 148,第2期,171-189(2000).MSC公司:03B45 06年50月 2012年2月6日 54甲10 54立方厘米 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{B.P.Hilken},J.Pure应用。代数148,No.2,171--189(2000;Zbl 0998.03016) 全文: 内政部
南卡罗来纳州阿沃迪。 地形的剪切表示。 (英语) Zbl 0944.18003号 J.纯应用。代数 145,编号2107-121(2000). 审核人:Marta Bunge(蒙特利尔/魁北克) MSC公司:18对25 03G30型 18英尺20英寸 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey},J.Pure应用。代数145,No.2,107-121(2000;Zbl 0944.18003) 全文: 内政部
弗兰克·皮森斯;埃里克·斯蒂格曼斯 薄FM规范语义等价的判定过程。 (英语) 兹比尔0937.18008 J.纯应用。代数 143,编号1-3351-379(1999). 审核人:A.Maggiolo-Schettini(比萨) MSC公司:18 C50 第68页,共15页 18甲15 18A20型 18A25型 60年第68季度 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Piessens}和\textit{E.Steegmans},J.Pure Appl。代数143,No.1--3,351--379(1999;Zbl 0937.18008) 全文: 内政部
科科特,J.R.B。;西利,R.A.G。 线性分配函子。 (英语) Zbl 0946.18005号 J.纯应用。代数 143,编号1-3,155-203(1999). 审核人:P.T.Johnstone(剑桥) MSC公司:18日第25天 03B60号 07年3月 18日第10天 03G30型 68问题55 18A22型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{R.A.G.Seely},J.Pure Appl。代数143,No.1--3,155--203(1999;Zbl 0946.18005) 全文: 内政部
乔德耶·库布里奇 将自由笛卡尔闭范畴嵌入集合范畴。 (英语) Zbl 0898.18004号 J.纯应用。代数 126,编号1-3121-147(1998). 审核人:P.Bankston(密尔沃基) MSC公司:18日第15天 03B40型 18B15号机组 18甲15 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.采布里奇},J.Pure Appl。代数126,No.1--3,121--147(1998;Zbl 0898.18004) 全文: 内政部
R.F.布鲁特。;科科特,J.R.B。;西利,R.A.G。;Trimble,T.H。 弱分配范畴的自然演绎与一致性。 (英语) 兹比尔0858.03064 J.纯应用。代数 113,第3期,229-296(1996).MSC公司:03G30型 18日第10天 03B70号 07年3月 19日23 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Blute}等人,J.Pure Appl。《代数113》,第3期,229--296(1996;Zbl 0858.03064) 全文: 内政部
卡罗琳·布朗;道格·格尔 关系和非交换线性逻辑。 (英语) Zbl 0841.0302号 J.纯应用。代数 105,第2期,117-136(1995).MSC公司:03B20型 05年3月 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{C.Brown}和\textit{D.Gurr},J.Pure Appl。代数105,No.2,117--136(1995;Zbl 0841.0302) 全文: 内政部
扎舍夫,J。 代数递归理论的范畴推广。 (英语) 兹比尔0867.03015 J.纯应用。代数 101,第1期,91-128(1995). 审核人:S.V.Solov'ev(达勒姆) MSC公司:03D75号 03G30型 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Zashev},J.Pure应用。《代数101》,第1期,91-128(1995;Zbl 0867.03015) 全文: 内政部
Kimmo I.罗森塔尔。 \(*)-双模的自治范畴。 (英语) Zbl 0819.18005号 J.纯应用。代数 97,第2期,189-202(1994). 审核人:P.T.Johnstone(剑桥) MSC公司:18D20天 18天15分 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{K.I.Rosenthal},J.Pure Appl.《纯粹应用》。代数97,No.2,189--202(1994;Zbl 0819.18005) 全文: 内政部
亚当·斯特泽本斯基。 半代数群和其他o-极小群中的欧拉特征。 (英语) Zbl 0815.03024号 J.纯应用。代数 96,第2期,173-201(1994). 审核人:H.D.Macpherson(利兹) MSC公司:03C60型 20甲15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Strzebonski},J.Pure应用。代数96,No.2,173--201(1994;Zbl 0815.03024) 全文: 内政部
亚当·斯特泽本斯基。 可在o-极小结构中定义的一维群。 (英语) Zbl 0815.03025号 J.纯应用。代数 96,编号203-214(1994). 审核人:H.D.Macpherson(利兹) MSC公司:03C60型 20甲15 03B25号 12升05 12月15日 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Strzebonski},J.Pure应用。代数96,No.2,203--214(1994;Zbl 0815.03025) 全文: 内政部
约翰·格雷(John W.Gray)。 笛卡尔闭范畴中带替换的类型化\(\lambda \)演算的语义。 (英语) Zbl 0786.03013号 J.纯应用。代数 89,第1-2107-126号(1993年).MSC公司:03B40型 18日第15天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Gray},J.Pure应用。代数89,No.1--2,107-126(1993;Zbl 0786.03013) 全文: 内政部
卡罗琳·布朗;道格·格尔 量子数的表示定理。 (英语) Zbl 0776.06011号 J.纯应用。代数 85,第1期,第27-42页(1993年). 审核人:K.I.Rosenthal(斯克内克塔迪) MSC公司:05年6月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Brown}和\textit{D.Gurr},J.Pure Appl。代数85,No.1,27--42(1993;Zbl 0776.06011) 全文: 内政部
克诺贝尔,A。 构造性\(\lambda \)-模型。 (英语) Zbl 0779.03004号 J.纯应用。代数 79,第3期,271-279(1992).MSC公司:03B40型 18天35分 03F99型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Knobel},J.Pure Appl(纯应用)。代数79,第3号,271--279(1992;Zbl 0779.03004) 全文: 内政部
约翰斯通,P.T。 地形的格里森覆盖。一、。 (英语) Zbl 0445.18004号 J.纯应用。代数 19, 171-192 (1980).MSC公司:18对25 03B60号 54G05号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Johnstone},J.Pure应用。代数19,171--192(1980;Zbl 0445.18004) 全文: 内政部
哈维·弗里德曼 关于方程理论的可判定性。 (英语) Zbl 0323.02056号 J.纯应用。代数 7, 1-3 (1976).MSC公司:03B25号 03B99 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Friedman},J.Pure Appl(《纯粹的应用》)。代数7,1--3(1976;Zbl 0323.02056) 全文: 内政部