瓦拉·科娃(Jana Volaříková) 有序幺半群伪变种的欧米伽可约性,表示低水平的串联层次。 (英语) Zbl 07817037号 国际代数计算杂志。 34,编号1,87-135(2024).MSC公司:2007年7月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Volařková},国际代数计算杂志。34,编号1,87--135(2024;Zbl 07817037) 全文: 内政部
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski Catoid和模态卷积代数。 (英语) 兹伯利07657582 代数大学。 84,第2期,第10号论文,40页(2023年).MSC公司:03B45号 2007年6月 20M75型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,代数大学。84,第2号,第10号论文,40页(2023;Zbl 07657582) 全文: 内政部
乔舒亚·布拉肯西克;西瓦坎特戈皮;文凯特桑·古鲁斯瓦米 全局模块化约束的约束满足问题:通过多项式表示的算法和硬度。 (英语) Zbl 07538272号 SIAM J.计算。 51,第3期,577-626(2022).MSC公司:第68季度25 94B05型 20K01型 68瓦20 08A70型 03B70号 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.Brakensiek}等人,SIAM J.Compute。51,编号3,577--626(2022;Zbl 07538272) 全文: 内政部
卡塔里娜·卡瓦略;巴纳比·马丁 多重突变的格和半群结构。 (英语) Zbl 07492582号 国际代数计算杂志。 32,第2期,211-235(2022).MSC公司:05年6月 2015年第68季度 20个M10 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Carvalho}和\textit{B.Martin},国际代数计算杂志。32,第2号,211--235(2022;Zbl 07492582) 全文: 内政部 arXiv公司
托马斯·科尔科姆贝特 因子分解森林定理。 (英语) Zbl 07469516号 Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。653-693(2021年)。MSC公司:70年第68季度 05年3月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet},收录于:自动机理论手册。第一卷理论基础。柏林:欧洲数学学会(EMS)。653-693(2021年;兹bl 07469516) 全文: 内政部
马塞尔·杰克逊;米库拉斯,萨博尔斯 天使和恶魔作品的领域和范围。 (英语) Zbl 1417.68033号 J.日志。代数。方法计划。 103, 62-78 (2019).MSC公司:68号30 08A70型 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{S.MikuláS},J.Log。代数。方法计划。103、62-78(2019年;Zbl 1417.68033) 全文: 内政部 arXiv公司 链接
Andrzej S.穆拉夫斯基。;史蒂文·拉姆齐。;尼科斯·齐夫列科斯 确定性新生注册自动机的多项式时间等价性测试。 (英语) Zbl 1512.68143号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第72条,第14页(2018年)。MSC公司:65年第68季度 20-08 2010年1月20日 第68季度25 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}等人,LIPIcs——莱布尼茨国际程序。通知。117,第72条,第14页(2018;Zbl 1512.68143) 全文: 内政部
JiříAdamek;斯特凡·米利厄斯;海宁·乌尔巴特 句法幺半群的范畴方法。 (英语) Zbl 1476.68158号 日志。计算方法。科学。 14,第2号,第9号论文,34页(2018年).MSC公司:70年第68季度 18日第15天 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Adamek}等人,日志。计算方法。科学。14,第2号,第9号论文,34页(2018;Zbl 1476.68158) 全文: 内政部 arXiv公司
乔治·斯特鲁斯 霍尔半群。 (英语) Zbl 1390.68440号 数学。结构。计算。科学。 28,第6号,775-799(2018).MSC公司:第68季度第60季度 03B70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},数学。结构。计算。科学。28,第6号,775--799(2018;Zbl 1390.68440) 全文: 内政部
吕克·达托伊斯;伊斯马·杰克;皮埃尔·阿莱·雷尼尔 非周期性串传感器。 (英语) Zbl 1436.68167号 Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840125-137(2016)中所述。MSC公司:65年第68季度 05年3月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.Dartois}等人,莱克特。注释计算。科学。9840125-137(2016年;兹比尔1436.68167) 全文: 内政部 arXiv公司
梅·盖尔克 石头对偶、拓扑代数和识别。 (英语) Zbl 1339.06012号 J.纯应用。代数 220,第7号,2711-2747(2016). 审核人:Daniele Mundici(佛罗伦萨) MSC公司:06年50月 2015年6月 20立方米 22A30型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gehrke},J.Pure应用。代数220,第7期,2711--2747(2016;Zbl 1339.06012) 全文: 内政部 arXiv公司
奥尔加·哈兰波维奇;巴哈迪尔·库萨诺夫;亚历克谢·米亚斯尼科夫 从自动结构到自动组。 (英语) Zbl 1322.20025号 组Geom。动态。 8,第1期,157-198(2014). 审核人:V.A.Roman'kov(鄂木斯克) MSC公司:2010年1月20日 20层65 2019年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{O.Kharlampovich}等人,Geom集团。动态。8,第1号,157--198(2014;Zbl 1322.20025) 全文: 内政部 arXiv公司
马塞尔·杰克逊;蒂姆·斯托克斯 模态限制半群:朝向函数代数。 (英语) Zbl 1256.20058号 国际代数计算杂志。 21,第7期,1053-1095(2011). 审核人:列奥尼德·马丁诺夫(鄂木斯克) MSC公司:20平方米 08A70型 第68季度第60季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},国际代数计算杂志。21,第7号,1053--1095(2011;Zbl 1256.20058) 全文: 内政部
马塞尔·杰克逊;蒂姆·斯托克斯 带有if-then-else和暂停程序的半群。 (英语) Zbl 1203.08005号 国际代数计算杂志。 19,第7期,937-961(2009). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:08A70型 20平方米 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},《国际代数计算》。19,第7号,937--961(2009;Zbl 1203.08005) 全文: 内政部
马塞尔·杰克逊;蒂姆·斯托克斯 具有域和范围的部分映射:扩展Schein表示。 (英语) 兹比尔,2005年12月18日 Commun公司。代数 37,第8期,2845-2870(2009). 审核人:皮特·诺马克(塔林) MSC公司:20分钟30分 20平方米 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},公社。《代数37》,第8期,2845--2870(2009;Zbl 1182.20058) 全文: 内政部 链接
恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 交换群的可组合扩张。 (英语) Zbl 1250.03021号 Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣减国际会议,加拿大蒙特利尔,2009年8月2-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。人工智能课堂讲稿,51-66(2009)。MSC公司:03B35型 03C10号机组 20K99美元 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Nicolini}等人,Lect。注释计算。科学。5663、51-66(2009年;Zbl 1250.03021) 全文: 内政部
比哈,西迪·乌尔德 Coq有限群表示理论。 (英语) Zbl 1247.68231号 Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,438-452(2009)。MSC公司:68吨15 20立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Biha},莱克特。注释计算。科学。5625438--452(2009年;Zbl 1247.68231) 全文: 内政部
安德烈·涅斯;理查德·托马斯(Richard M.Thomas)。 FA-可呈递群和环。 (英语) Zbl 1165.03017号 J.代数 320,第2号,569-585(2008).MSC公司:05年3月 16B70型 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}和\textit{R.M.Thomas},J.代数320,No.2,569--585(2008;Zbl 1165.03017) 全文: 内政部
杰苏斯·阿兰塞;克莱门斯·巴拉林;朱利奥·鲁比奥 基本扰动引理的机械化证明。 (英语) Zbl 1140.68059号 J.汽车。推理 40,编号4271-292(2008).MSC公司:68吨15 68瓦30 20公里40 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}等人,J.Autom。推理40,第4号,271--292(2008;Zbl 1140.68059) 全文: 内政部