德米特里·伯丁斯基;桑杰·贾恩;巴哈迪尔·库萨诺夫;弗兰克·斯蒂芬 FA呈现结构中的字符串压缩。 (英语) Zbl 07648695号 西奥。计算。科学。 947,文章ID 113705,10 p.(2023).MSC公司:05年3月 03C57号 03日第10天 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{D.Berdinsky}等人,Theor。计算。科学。947,文章ID 113705,10 p.(2023;Zbl 07648695) 全文: 内政部 arXiv公司
赫尔曼·古莱特 后缀连接语言。 (英语) 兹伯利07540234 西奥。计算。科学。 923, 126-143 (2022).MSC公司:2010年1月20日 20E05年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Goulet-Ouellet},Theor。计算。科学。923、126--143(2022;Zbl 07540234) 全文: 内政部 arXiv公司
老穆雷;亚当·皮戈特 重写系统、平面组和大地测量图。 (英语) Zbl 07467472号 西奥。计算。科学。 903, 134-144 (2022).MSC公司:2012年第68季度 05C12号 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Elder}和\textit{A.Piggott},Theor。计算。科学。903134-144(2022年;Zbl 07467472) 全文: 内政部 arXiv公司
普拉莫德·奈尔。;拉詹·桑达拉瓦德汗;巴德拉查拉姆·奇图里 通过前缀转置改进了排列排序的上限。 (英语) 兹比尔1514.68056 西奥。计算。科学。 896, 158-167 (2021).MSC公司:第68页第10页 05年05月05日 20B30码 92-08 PDF格式BibTeX公司 XML格式引用 \textit{P.P.Nair}等人,Theor。计算。科学。896158-167(2021年;Zbl 1514.68056) 全文: 内政部
纳撒利·奥布伦;贾科·卡里 关于Baumslag-Solitar集团的多米诺骨牌问题。 (英语) Zbl 1517.20053号 西奥。计算。科学。 894, 12-22 (2021).MSC公司:2010年1月20日 03天35分 52C23型 PDF格式BibTeX公司 XML格式引用 \textit{N.Aubrun}和\textit{J.Kari},Theor。计算。科学。894,12-22(2021;Zbl 1517.20053) 全文: 内政部
阿图罗·卡皮;弗拉维奥·达莱桑德罗 关于有界线性码和交换等价。 (英语) Zbl 1477.68170号 西奥。计算。科学。 852, 185-196 (2021).MSC公司:70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Carpi}和\textit{F.D'Alessandro},Theor。计算。科学。852185-196(2021年;Zbl 1477.68170) 全文: 内政部 链接
维罗尼卡普罗霍丘克 用最小字母表上的有限自动机生成循环群的合并自由积。 (英语) Zbl 07297784号 西奥。计算。科学。 856, 151-164 (2021).MSC公司:2010年1月20日 20E06年 20E18年 PDF格式BibTeX公司 XML格式引用 \textit{V.Prokhorchuk},Theor(西奥)。计算。科学。856151-164(2021;Zbl 07297784) 全文: 内政部
朱哈尼Karhumäki;马库斯·怀特兰。 (k)-交换幺半群的紧性。 (英语) Zbl 1448.68368号 西奥。计算。科学。 834, 3-13 (2020). 审核人:米歇尔·里戈(列日) MSC公司:68兰特 20M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Karhumäki}和\textit{M.A.Whiteland},Theor。计算。科学。834,3--13(2020年;Zbl 1448.68368) 全文: 内政部
达尼埃莱·丹格利;伊曼纽尔·罗德罗;简·菲利普·瓦赫特 自动机半群和群的轨道可扩张性。 (英语) Zbl 1455.68107号 西奥。计算。科学。 809, 418-429 (2020). 审核人:彼得·科斯托拉尼(布拉迪斯拉发) MSC公司:70年第68季度 2010年1月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{D.D'Angeli}等人,Theor。计算。科学。809418-429(2020年;Zbl 1455.68107) 全文: 内政部 arXiv公司
让·内罗;卡拉·塞尔米 将(theta)不变代码嵌入到完整的代码中。 (英语) Zbl 1436.68183号 西奥。计算。科学。 806, 28-41 (2020).MSC公司:65年第68季度 20立方米 94年45日 PDF格式BibTeX公司 XML格式引用 \textit{J.Néraud}和\textit{C.Selmi},Theor。计算。科学。806,28-41(2020年;兹bl 1436.68183) 全文: 内政部 arXiv公司
让-埃里克·品;Soler Escrivà,沙罗 由(D_4)和(Q_8)生成的语言和构成。 (英语) 兹比尔1436.68187 西奥。计算。科学。 800, 155-172 (2019).MSC公司:65年第68季度 2010年1月20日 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Ei.Pin}和\textit{X.Soler-Escrivá},Theor。计算。科学。800、155-172(2019年;Zbl 1436.68187) 全文: 内政部
Ondřej,克里马;波拉克,利比亚 正规语言的句法结构。 (英语) 兹比尔1436.68177 西奥。计算。科学。 800, 125-141 (2019).MSC公司:65年第68季度 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Klíma}和\textit{L.Polák},Theor。计算。科学。800125-141(2019年;Zbl 1436.68177) 全文: 内政部 arXiv公司
尼科拉斯·M·斯德罗耶夫斯基。;Murilo V.G.达席尔瓦。;安德烈·维格纳蒂。 隐藏子群问题和MKTP。 (英语) 兹比尔1434.68203 西奥。计算。科学。 795, 204-212 (2019).MSC公司:65年第68季度 20B35码 20E07年 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{N.M.Sdroiveski}等人,Theor。计算。科学。795204-212(2019年;Zbl 1434.68203) 全文: 内政部
本杰明·布兰切特 准自动组是异步自动的。 (英语) Zbl 1453.20083号 西奥。计算。科学。 793, 193-195 (2019).MSC公司:20立方米 2005年5月20日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥,textit{B.布兰切特}。计算。科学。793193-195(2019年;兹bl 1453.20083) 全文: 内政部 arXiv公司
斯特凡·格德吉科夫;斯托扬·米霍夫;克劳斯·舒尔茨。 基于均衡器累加原理的节省空间的双机结构。 (英语) Zbl 1430.68145号 西奥。计算。科学。 790, 80-95 (2019).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{S.Gerdjikov}等人,Theor。计算。科学。790、80-95(2019年;Zbl 1430.68145) 全文: 内政部 arXiv公司
Szykuła,马雷克;约翰·威特内贝尔 无双变量正则语言的句法复杂性。 (英语) Zbl 1429.68136号 西奥。计算。科学。 787, 45-76 (2019).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Szykuła}和\textit{J.Wittnebel},Theor。计算。科学。787、45-76(2019年;Zbl 1429.68136) 全文: 内政部
恩德鲁利斯,约尔格;扬·威廉·克鲁普 通过术语重写编织。 (英语) Zbl 1479.20027号 西奥。计算。科学。 777, 260-295 (2019). 审核人:Fabienne Chouraqui(海法) MSC公司:36楼20层 2012年第68季度 57 K10 2010年1月20日 20F05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}和\textit{J.W.Klop},Theor。计算。科学。777260-295(2019年;Zbl 1479.20027) 全文: 内政部 链接
本杰明·布兰切特;克里斯蒂安·乔夫鲁特;克里斯托夫·鲁特瑙尔 准自动半群。 (英语) Zbl 1454.20115号 西奥。计算。科学。 777, 111-120 (2019). 审核人:豪尔赫·阿尔梅达(波尔图) MSC公司:20立方米 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchette}等人,Theor。计算。科学。777111--120(2019年;Zbl 1454.20115) 全文: 内政部 arXiv公司
巴德拉查拉姆·奇图里;普里扬舒·达斯 用转置对摊销时间内的置换进行排序。 (英语) Zbl 1418.68072号 西奥。计算。科学。 766, 30-37 (2019).MSC公司:第68页第10页 05年05月05日 05C25号 20B30码 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.Chitturi}和\textit{P.Das},Theor。计算。科学。766,30--37(2019年;Zbl 1418.68072) 全文: 内政部
山姆·琼斯。;理查德·托马斯(Richard M.Thomas)。 组词问题:形式语言、特征和可判定性。 (英语) Zbl 1403.68117号 西奥。计算。科学。 750, 2-23 (2018).MSC公司:65年第68季度 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{S.A.M.Jones}和\textit{R.M.Thomas},Theor。计算。科学。750,2--23(2018;Zbl 1403.68117) 全文: 内政部 链接
鲁伯特·Hölzl;桑杰·贾恩;弗兰克·斯蒂芬 通过小组学习模式语言。 (英语) Zbl 1398.68265号 西奥。计算。科学。 742, 66-81 (2018).MSC公司:68问题32 2010年1月20日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}等人,Theor。计算。科学。742、66-81(2018年;Zbl 1398.68265) 全文: 内政部
乔昂·阿劳乔;迈克尔·基扬;Janusz Konieczny公司;安托尼奥·马莱罗 有限表示幺半群中共轭问题的可判定性和独立性。 (英语) Zbl 1435.20064号 西奥。计算。科学。 731, 88-98 (2018).MSC公司:2005年5月20日 03D40号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Araújo}等人,Theor。计算。科学。731、88-98(2018年;Zbl 1435.20064) 全文: 内政部 arXiv公司
李、王伟;李显华 关于几乎同步群的两个问题。 (英语) Zbl 1382.68146号 西奥。计算。科学。 707, 94-95 (2018).MSC公司:70年第68季度 20B15号机组 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{X.Li}.提奥。计算。科学。707,94-95(2018;Zbl 1382.68146) 全文: 内政部
蒂鲍特·戈丁;伊内斯·克利曼 关于双可逆Mealy自动机和Burnside问题。 (英语) Zbl 1405.68196号 西奥。计算。科学。 707, 24-35 (2018).MSC公司:70年第68季度 2010年1月20日 20层50 PDF格式BibTeX公司 XML格式引用 \textit{T.Godin}和\textit{I.Klimann},Theor。计算。科学。707,24-35(2018;Zbl 1405.68196) 全文: 内政部
托拜厄斯·沃尔特 一些常规语言类的Parikh-reducing Church-Rosser表示。 (英语) Zbl 1385.68021号 西奥。计算。科学。 702, 34-47 (2017). 审核人:马格努斯·斯坦比(图尔库) MSC公司:65年第68季度 20立方米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \西奥,textit{T.Walter}。计算。科学。702,34-47(2017年;兹bl 1385.68021) 全文: 内政部 arXiv公司
塞利亚·博利多 (\mathsf{DRH})上的\(\kappa\)单词问题。 (英语) Zbl 1418.20014号 西奥。计算。科学。 702, 1-22 (2017).MSC公司:2005年5月20日 PDF格式BibTeX公司 XML格式引用 \文本{C.Borlido},Theor。计算。科学。702,1--22(2017;Zbl 1418.20014) 全文: 内政部 arXiv公司
瓦莱里·伯瑟;克莱莉亚·德·费利塞;文森特·德莱克索瓦;弗朗西斯科·多尔斯;朱利安·勒罗伊;多米尼克·佩林;克里斯托夫·鲁特瑙尔;朱塞皮娜·林登 镜面反射集。 (英语) Zbl 1383.68066号 西奥。计算。科学。 684, 3-28 (2017). 审核人:米哈伊尔·沃尔科夫(叶卡捷琳堡) MSC公司:68兰特 20E05年 20E06年 2010年1月20日 70年第68季度 94年45日 PDF格式BibTeX公司 XML格式引用 \textit{V.Berthé}等人,Theor。计算。科学。684,3--28(2017;Zbl 1383.68066) 全文: 内政部
V·阿尔文德。 在置换群中寻找不动点自由元和小基。 (英语) Zbl 1371.68100号 西奥。计算。科学。 687, 70-78 (2017).MSC公司:65年第68季度 20B05型 20B40码 68瓦20 PDF格式BibTeX公司 XML格式引用 \文本{V.Arvind},Theor。计算。科学。687、70-78(2017年;Zbl 1371.68100) 全文: 内政部
塔拉·布鲁;艾伦·J·凯恩。 自动机半群:非自动机半组的新构造结果和示例。 (英语) Zbl 1381.20052号 西奥。计算。科学。 674, 1-15 (2017). 审核人:Aleksandr V.Tishchenko(莫斯科) MSC公司:20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brough}和\textit{A.J.Cain},Theor。计算。科学。674,1--15(2017;Zbl 1381.20052) 全文: 内政部 arXiv公司
纳撒利·奥布伦;塞巴斯蒂安·巴比里;马修·萨布利克 有限生成群上子移位有效性的概念。 (英语) Zbl 1356.68057号 西奥。计算。科学。 661, 35-55 (2017).MSC公司:2005年第68季度 2010年1月20日 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Aubrun}等人,Theor。计算。科学。661、35-55(2017年;Zbl 1356.68057) 全文: 内政部 arXiv公司
让-埃里克·品;佩德罗·席尔瓦。 关于某些有限拓扑的一致连续函数。 (英语) Zbl 1368.20072号 西奥。计算。科学。 658,A部分,246-262(2017). 审核人:米哈伊尔·沃尔科夫(叶卡捷琳堡) MSC公司:2007年7月20日 2015年20月 54E15型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Ei.Pin}和\textit{P.V.Silva},Theor。计算。科学。658,A部分,246--262(2017;Zbl 1368.20072) 全文: 内政部
乔瓦娜·瓜亚纳 从文字到痕迹的局部可测试性,一个合适的定义。 (英语) Zbl 1358.68169号 西奥。计算。科学。 658,A部分,175-189(2017). 审核人:马格努斯·斯坦比(图尔库) MSC公司:65年第68季度 20立方米 70年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{G.Guaiana},Theor。计算。科学。658,A部分,175-189(2017;兹bl 1358.68169) 全文: 内政部
科里·R。;C·鲁特瑙尔。 在希尔克的双目投影上。 (英语) Zbl 1355.05003号 西奥。计算。科学。 658,A部分,97-104(2017).MSC公司:05年05月05日 2018年1月5日 20E05年 20B35码 PDF格式BibTeX公司 XML格式引用 \textit{R.Cori}和\textit{C.Reutenauer},Theor。计算。科学。658,A部分,97-104(2017;兹bl 1355.05003) 全文: 内政部
汤姆·伯恩;尼克·鲁什库克 关于子字计数语言的星高及其与Rees零矩阵半群的关系。 (英语) Zbl 1353.68160号 西奥。计算。科学。 653, 87-96 (2016).MSC公司:65年第68季度 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourne}和\textit{N.Ruškuc},Theor。计算。科学。653,87-96(2016;Zbl 1353.68160) 全文: 内政部 arXiv公司
沃尔克·迪克特;曼弗雷德·库夫莱特纳 局部除数技术综述。 (英语) Zbl 1332.68147号 西奥。计算。科学。 610,A部分,13-23(2016).MSC公司:70年第68季度 03B44号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{M.Kufleitner},Theor。计算。科学。610,A部分,13-23(2016;兹bl 1332.68147) 全文: 内政部 arXiv公司
徐明;黄成超;李志斌;曾振兵 分析可解系统的最终正性。 (英语) Zbl 1356.37035号 西奥。计算。科学。 609,第2部分,395-412(2016).MSC公司:37C20美元 03B25号 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。609,第2部分,395--412(2016;Zbl 1356.37035) 全文: 内政部
田靖;赵显忠;邵勇 关于循环自动机的结构和表示。 (英语) Zbl 1339.68174号 西奥。计算。科学。 609,第2部分,344-360(2016). 审核人:Michal Kunc(布尔诺) MSC公司:70年第68季度 08年60月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Tian}等人,Theor。计算。科学。609,第2部分,344--360(2016;Zbl 1339.68174) 全文: 内政部
大卫·J·罗森鲍姆。;费比安·瓦格纳 击败了\(p\)-群同构的生成器枚举界。 (英语) Zbl 1330.68124号 西奥。计算。科学。 593, 16-25 (2015).MSC公司:65年第68季度 99年第20天 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Rosenbaum}和\textit{F.Wagner},Theor。计算。科学。593、16-25(2015年;Zbl 1330.68124) 全文: 内政部 arXiv公司
巴德拉查拉姆·奇图里 使用前缀转置对排列进行排序的上界更紧。 (英语) Zbl 1330.05004号 西奥。计算。科学。 602, 22-31 (2015).MSC公司:05年05月05日 05C25号 20B30码 PDF格式BibTeX公司 XML格式引用 \文本{B.Chitturi},Theor。计算。科学。602,22-31(2015年;兹bl 1330.05004) 全文: 内政部
图利奥·塞切里尼·西尔伯斯坦;米歇尔·库纳特;弗朗西丝卡·菲奥伦齐;Paul E.舒普。;尼古拉斯·W·M·图伊坎。 多通自动机和组词问题。 (英语) Zbl 1329.68160号 西奥。计算。科学。 600, 19-33 (2015).MSC公司:65年第68季度 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{T.Ceccherini-Silberstein}等人,Theor。计算。科学。600,19-33(2015年;兹bl 1329.68160) 全文: 内政部 arXiv公司
Juha Honkala 关于同构半群和矩阵半群上的自由性问题的注记。 (英语) Zbl 1339.20049号 西奥。计算。科学。 557, 115-119 (2014).MSC公司:2005年5月20日 20平方米 2016年60月 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{J.Honkala},Theor。计算。科学。557115--119(2014;Zbl 1339.20049) 全文: 内政部
塔里克·沙阿;纳斯林·考萨尔 非结合序半群的模糊双理想刻画。 (英语) Zbl 1306.06023号 西奥。计算。科学。 529, 96-110 (2014).MSC公司:1999年6月 20号02 20N25型 20个M12 PDF格式BibTeX公司 XML格式引用 \textit{T.Shah}和\textit{N.考萨尔},提奥。计算。科学。529、96-110(2014;Zbl 1306.06023) 全文: 内政部
乔昂·阿劳乔;沃尔夫拉姆·本茨;彼得·卡梅隆。 组同步非均匀内核的转换。 (英语) Zbl 1295.68162号 西奥。计算。科学。 498, 1-9 (2013).MSC公司:70年第68季度 20B15号机组 20对25 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Araújo}等人,Theor。计算。科学。498,1-9(2013;Zbl 1295.68162) 全文: 内政部 arXiv公司
亚当·沃伊纳 在不断变化的字母表和由这种自动机生成的点灯器组上的自相似自动机的概念。 (英语) Zbl 1291.68233号 西奥。计算。科学。 482, 96-110 (2013).MSC公司:65年第68季度 20F05型 2010年1月20日 70年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥,textit{A.Woryna}。计算。科学。48296--110(2013年;Zbl 1291.68233) 全文: 内政部 arXiv公司
亚当·沃伊纳 在不断变化的字母表上的自动机的对偶概念,以及由此自动机生成的自由组。 (英语) Zbl 1230.68139号 西奥。计算。科学。 412,第45号,6420-6431(2011).MSC公司:65年第68季度 70年第68季度 20E05年 PDF格式BibTeX公司 XML格式引用 \提奥,textit{A.Woryna}。计算。科学。412,第45号,6420--6431(2011;Zbl 1230.68139) 全文: 内政部 arXiv公司
安娜·莫拉 DA上的\(\omega \)-术语的单词问题。 (英语) Zbl 1237.68117号 西奥。计算。科学。 412,第46号,6556-6569(2011). 审核人:赛义德·萨利希(大不里士) MSC公司:65年第68季度 70年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \文本{A.Moura},Theor。计算。科学。412,第46号,6556--6569(2011;Zbl 1237.68117) 全文: 内政部
陈,李;傅斌 基于阿贝尔群的线性和次线性时间算法。 (英语) Zbl 1217.68244号 西奥。计算。科学。 412,第32号,4110-4122(2011).MSC公司:68瓦20 20K01型 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}和\textit{B.Fu},Theor。计算。科学。412,第32号,4110--4122(2011;Zbl 1217.68244) 全文: 内政部
阿尔伯特·维瑟 关于波兰符号的歧义。 (英语) Zbl 1222.68112号 西奥。计算。科学。 412,第28号,3404-3411(2011). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:65年第68季度 18日第10天 20立方米 PDF格式BibTeX公司 XML格式引用 \文本{A.Visser},Theor。计算。科学。412,第28号,3404--3411(2011;Zbl 1222.68112) 全文: 内政部
格雷,R。;A.马莱罗。 正则半群的有限完全重写系统。 (英语) Zbl 1209.20049 西奥。计算。科学。 412,编号8-10,654-661(2011).MSC公司:2005年5月20日 2017年11月20日 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gray}和\textit{A.Malheiro},Theor。计算。科学。412,编号8--10,654--661(2011;Zbl 1209.20049) 全文: 内政部 arXiv公司
陈文斌;尹登潘;陈正章 无限群上方程的不逼近性结果。 (英语) Zbl 1203.68054号 西奥。计算。科学。 411,第26-28号,2513-2519(2010).MSC公司:2017年第68季度 20B40码 20层70 68周25 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen}等人,Theor。计算。科学。411、编号26-28、2513-2519(2010;Zbl 1203.68054) 全文: 内政部 链接
Pawe Gawrychowskił;马林·古坦;安杰伊·基谢列维奇 关于乘法矩阵半群的自由性问题。 (英语) Zbl 1193.15014号 西奥。计算。科学。 411,编号7-9,1115-1120(2010). 审核人:埃德加·佩雷拉(科维拉) MSC公司:15A30型 20平方米 15B36型 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{P.Gawrychowski}等人,Theor。计算。科学。411、编号7--9、1115--1120(2010;Zbl 1193.15014) 全文: 内政部
迈克尔·霍夫曼;Richard M.托马斯。 幺半群中双曲性的概念。 (英语) Zbl 1209.20050 西奥。计算。科学。 411,No.4-5,799-811(2010). 审核人:弗朗西娜·布兰切特·萨德里(格林斯博罗) MSC公司:2005年5月20日 20立方米 20楼67 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{R.M.托马斯},提奥。计算。科学。411,编号4--5,799--811(2010;Zbl 1209.20050) 全文: 内政部
乔斯·卡洛斯·科斯塔;康西桑·诺盖拉 基于由局部可测半群生成的(ω)-簇的恒等式。 (英语) Zbl 1157.20030号 西奥。计算。科学。 401,编号1-3,206-216(2008). 审核人:米哈伊尔·沃尔科夫(叶卡捷琳堡) MSC公司:2007年7月20日 2005年5月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Costa}和\textit{C.Nogueira},Theor。计算。科学。401,编号1--3,206-216(2008;Zbl 1157.20030) 全文: 内政部
让·内罗 在正则子幺半群中完成循环码。 (英语) Zbl 1135.68029号 西奥。计算。科学。 391,编号1-2,90-98(2008).MSC公司:65年第68季度 20立方米 94年45日 PDF格式BibTeX公司 XML格式引用 \文本{J.Néraud},Theor。计算。科学。391,编号1--2,90-98(2008;Zbl 1135.68029) 全文: 内政部
保罗·贝尔;伊戈尔·波塔波夫 矩阵决策问题的不可判定界。 (英语) Zbl 1133.03019号 西奥。计算。科学。 391,编号1-2,3-13(2008).MSC公司:03天35分 03B25号 20平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Bell}和\textit{I.Potapov},Theor。计算。科学。391,编号1--2,3--13(2008;Zbl 1133.03019) 全文: 内政部
豪尔赫·阿尔梅达;马克·泽顿 R上\(\omega \)-项的单词问题的自动机理论方法。 (英语) Zbl 1110.68059号 西奥。计算。科学。 370,编号1-3,131-169(2007).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Almeida}和\textit{M.Zeitoun},Theor。计算。科学。370,编号1--3,131-169(2007;Zbl 1110.68059) 全文: 内政部
迈克尔·霍夫曼;理查德·托马斯(Richard M.Thomas)。 自动半群的几何特征。 (英语) 兹比尔1155.68039 西奥。计算。科学。 369,编号1-3,300-313(2006). 审核人:弗朗西娜·布兰切特·萨德里(格林斯博罗) MSC公司:65年第68季度 2005年5月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{R.M.托马斯},提奥。计算。科学。369,编号1--3300-313(2006;Zbl 1155.68039) 全文: 内政部
马克·坎比特 可由确定性盲单体自动机识别的单词问题。 (英语) 兹比尔1100.68051 西奥。计算。科学。 362,编号1-3,232-237(2006).MSC公司:65年第68季度 05年3月 03D40号 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \西奥,textit{M.Kambits}。计算。科学。362,编号1--3,232-237(2006;Zbl 1100.68051) 全文: 内政部 arXiv公司
佩德罗·加西亚;何塞·鲁伊斯 从积极的数据中学习各种形式的知识。 (英语) 兹比尔1100.68049 西奥。计算。科学。 362,编号1-3,100-114(2006).MSC公司:65年第68季度 2012年第68季度 70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{P.García}和\textit{J.Ruiz},Theor。计算。科学。362,编号1--3,100-114(2006;Zbl 1100.68049) 全文: 内政部
桑多·萨博 完成代码和组的Rédei属性。 (英语) Zbl 1097.68039号 西奥。计算。科学。 359,编号1-3,449-454(2006).MSC公司:68页30 94年45日 20K01型 20D60年 PDF格式BibTeX公司 XML格式引用 \文本{S.Szabó},Theor。计算。科学。359,编号1--3,449--454(2006;Zbl 1097.68039) 全文: 内政部
弗雷德里克·阿诺德;本杰明·斯坦伯格 同步组和自动机。 (英语) Zbl 1097.68054号 西奥。计算。科学。 359,编号1-3,101-110(2006).MSC公司:65年第68季度 70年第68季度 20B10型 PDF格式BibTeX公司 XML格式引用 \textit{F.Arnold}和\textit{B.Steinberg},Theor。计算。科学。359,编号1--3,101-110(2006;Zbl 1097.68054) 全文: 内政部
特罗·哈尔朱;德克·诺沃特卡 论原始词的独特因式分解。 (英语) Zbl 1147.20050号 西奥。计算。科学。 356,编号1-2,186-189(2006).MSC公司:2005年5月20日 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.Harju}和\textit{D.Nowotka},Theor。计算。科学。356,编号1-2186-189(2006年;兹bl 1147.20050) 全文: 内政部
劳拉·乔巴德;让-埃里克·品;霍华德·斯特劳宾 行动,花环产品的\(\mathcal C\)-品种和串联产品。 (英语) Zbl 1143.68048号 西奥。计算。科学。 356,编号1-2,73-89(2006).MSC公司:70年第68季度 08A70号 08B25号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.Chaubard}等人,Theor。计算。科学。356,编号1--2,73-89(2006;Zbl 1143.68048) 全文: 内政部
安托尼奥·马莱罗 Rees矩阵半群的有限导子类型。 (英语) Zbl 1088.68082号 西奥。计算。科学。 355,编号3274-290(2006).MSC公司:2012年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \文本{A.Malheiro},Theor。计算。科学。355,第3号,274--290(2006;Zbl 1088.68082) 全文: 内政部
马克·坎比特 自动半群和类别。 (英语) Zbl 1095.20032号 西奥。计算。科学。 353,编号1-3,272-290(2006). 审核人:弗朗西娜·布兰切特·萨德里(格林斯博罗) MSC公司:2005年5月20日 20M50型 18B40码 65年第68季度 20升05 PDF格式BibTeX公司 XML格式引用 \西奥,textit{M.Kambits}。计算。科学。353,编号1--3,272--290(2006;Zbl 1095.20032) 全文: 内政部
田中、根次郎 关于由自由半群到完全单半群的同态决定的双酉子半群的句法幺半群。 (英语) 兹比尔1086.68079 西奥。计算。科学。 352,编号1-3,57-70(2006).MSC公司:65年第68季度 70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \文本{G.田中},Theor。计算。科学。352,编号1--3,57-70(2006;Zbl 1086.68079) 全文: 内政部
迈克尔·昆克 语言不等式和良好拟序的正则解。 (英语) Zbl 1081.68047号 西奥。计算。科学。 348,编号2-3,277-293(2005).MSC公司:65年第68季度 20立方米 70年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \文本{M.Kunc},Theor。计算。科学。348,编号2--3,277--293(2005;Zbl 1081.68047) 全文: 内政部
香港萧。;是的,Y.T。;于S.S。 与严格二进制关系相关的依赖项。 (英语) Zbl 1080.68056号 西奥。计算。科学。 347,第1-2号,306-324(2005).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{H.K.Xiao}等人,Theor。计算。科学。347,编号1-2306-324(2005年;兹bl 1080.68056) 全文: 内政部
佩特科维奇,塔贾纳;赛义德·萨利希 树语言的积极变化。 (英语) Zbl 1080.68068号 西奥。计算。科学。 347,编号1-2,1-35(2005).MSC公司:70年第68季度 08A70号 2015年2月6日 08B99年 2007年7月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Petković}和\textit{S.Salehi},Theor。计算。科学。347,第1-2,35号(2005年;兹bl 1080.68068) 全文: 内政部
Auinger,K。;斯坦伯格,B。 将部门构建为权力集团。 (英语) Zbl 1077.68056号 西奥。计算。科学。 341,编号1-3,1-21(2005).MSC公司:70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Auinger}和\textit{B.Steinberg},Theor。计算。科学。341,编号1--3,1--21(2005;Zbl 1077.68056) 全文: 内政部
老穆雷 Baumslag-Solitar组的一种无上下文的单计数器测地线语言。 (英语) Zbl 1142.68041号 西奥。计算。科学。 339,编号2-3,344-371(2005). 审核人:Aleksandr V.Tishchenko(莫斯科) MSC公司:65年第68季度 2010年1月20日 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.埃尔德},西奥。计算。科学。339,编号2--3,344--371(2005;Zbl 1142.68041) 全文: 内政部 arXiv公司
鲁霍宁(Ruohonen,Keijo) 自由幺半群和元贝拉群中迭代态射的显式测试集。 (英语) Zbl 1078.68094号 西奥。计算。科学。 330,第1期,171-191(2005).MSC公司:65年第68季度 70年第68季度 20立方米 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{K.Ruohonen},Theor。计算。科学。330,第1号,171--191(2005;Zbl 1078.68094) 全文: 内政部
特罗·哈尔朱;德克·诺沃特卡 关于方程\(x^k=z_1^{k1}z2^自由半群中的{k2})。 (英语) Zbl 1078.68114号 西奥。计算。科学。 330,第117-121号(2005年).MSC公司:68兰特 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{T.Harju}和\textit{D.Nowotka},Theor。计算。科学。330,第1号,117--121(2005;Zbl 1078.68114) 全文: 内政部
杰雷米·查洛平;梁,兴 关于有限高度的因式分解森林。 (英语) Zbl 1071.68038号 西奥。计算。科学。 310,编号1-3,489-499(2004).MSC公司:65年第68季度 2015年20月 20立方米 70年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{J.Chalopin}和\textit{H.Leung},Theor。计算。科学。310,编号1--3489--499(2004;Zbl 1071.68038) 全文: 内政部
迈克尔·昆克 迹编码问题的不可判定性和一些可判定的情况。 (英语) Zbl 1071.68043号 西奥。计算。科学。 310,编号1-3,393-456(2004).MSC公司:65年第68季度 20立方米 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.Kunc},Theor。计算。科学。310,编号1--3393--456(2004;Zbl 1071.68043) 全文: 内政部
安东尼奥·卡诺·戈麦斯;让-埃里克·品 洗牌积极的语言变体。 (英语) Zbl 1143.68431号 西奥。计算。科学。 312,编号2-3,433-461(2004).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Cano Gómez}和\textit{J.-Ei.Pin},Theor。计算。科学。312,编号2--3,433--461(2004;Zbl 1143.68431) 全文: 内政部 哈尔
小笠岛桥口;佐木巴拉(Naoto Sakakibara);Jimbo、Shuji 正则二元体表达式和表示二元体语言的正则表达式在自由二元体上的等价性。 (英语) Zbl 1143.68438号 西奥。计算。科学。 312,编号2-3,251-266(2004).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Hashiguchi}等人,Theor。计算。科学。312,编号2--3,251--266(2004;Zbl 1143.68438) 全文: 内政部
拉尔斯·恩格布雷特森;乔纳斯·霍尔梅林;亚历山大·罗素 有限群上方程的不逼近性结果。 (英语) 兹比尔1056.68089 西奥。计算。科学。 312,第1期,17-45(2004).MSC公司:2017年第68季度 99年第20天 2010年1月20日 68周25 PDF格式BibTeX公司 XML格式引用 \textit{L.Engebretsen}等人,Theor。计算。科学。312,第1号,17-45(2004;Zbl 1056.68089) 全文: 内政部
A.巴贝。;冯·海斯勒,F。 帕斯卡拟阵是生成由拟群定义的元胞自动机配置集的原点。 (英语) 兹比尔1071.68064 西奥。计算。科学。 325,第2期,171-214(2004).MSC公司:68问题80 05B35号 20号05 PDF格式BibTeX公司 XML格式引用 \textit{A.Barbé}和\textit{F.von Haeseler},Theor。计算。科学。325,编号2,171--214(2004;Zbl 1071.68064) 全文: 内政部
马丁·库茨 布尔矩阵根计算的复杂性。 (英语) Zbl 1071.68031号 西奥。计算。科学。 325,第3号,373-390(2004年).MSC公司:65年第68季度 05元50分 05C60型 20M99型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Kutz},Theor。计算。科学。325,第3号,373--390(2004;Zbl 1071.68031) 全文: 内政部
佩特科维奇,塔贾纳;米罗斯拉夫·奇·伊里奇;斯托扬·博格达诺维奇 自由半群上的一元代数、半群和同余。 (英语) Zbl 1105.68078号 西奥。计算。科学。 324,第1期,第87-105页(2004年).MSC公司:70年第68季度 08年60月 08A70号 08B15号 2005年5月20日 2007年7月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Petković}等人,Theor。计算。科学。324,第1号,87--105(2004;Zbl 1105.68078) 全文: 内政部
Elston,Gillian Z。;格雷琴·奥斯海默 在单词问题由计数器自动机解决的组上。 (英语) Zbl 1061.20029号 西奥。计算。科学。 320,编号2-3,175-185(2004). 审核人:V.A.Roman'kov(鄂木斯克) MSC公司:2010年1月20日 65年第68季度 20F05型 2005年5月20日 20E07年 PDF格式BibTeX公司 XML格式引用 \textit{G.Z.Elston}和\textit{G.Otheimer},Theor。计算。科学。320,编号2--3,175--185(2004;Zbl 1061.20029) 全文: 内政部
本杰明·威尔斯 超计算的定义。 (英语) Zbl 1058.03042号 西奥。计算。科学。 317,编号1-3,191-207(2004). 审核人:Jerzy Mycka(卢布林) MSC公司:03天35分 03C05号机组 2007年7月20日 2005年第68季度 2010年第68季度 2015年第68季度 2015年3月1日 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{B.Wells},Theor(西奥)。计算。科学。317,编号1--3,191-207(2004;Zbl 1058.03042) 全文: 内政部
丹尼尔·克里斯滕;Jerzy Marcinkowski 迹幺半群中恒星问题领域的两种技术。 (英语) Zbl 1106.68371号 西奥。计算。科学。 309,编号1-3,381-412(2003).MSC公司:65年第68季度 20立方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kirsten}和\textit{J.Marcinkowski},Theor。计算。科学。309,编号1--3,381--412(2003;Zbl 1106.68371) 全文: 内政部
佩德罗·席尔瓦。 迹幺半群的同态问题。 (英语) Zbl 1042.20042号 西奥。计算。科学。 307,第1期,199-215(2003). 审核人:弗朗西娜·布兰切特·萨德里(格林斯博罗) MSC公司:2005年5月20日 68兰特 2015年20月 PDF格式BibTeX公司 XML格式引用 \文本{P.V.Silva},Theor。计算。科学。307,第1号,199--215(2003;Zbl 1042.20042) 全文: 内政部
阿纳尼切夫,D.S。;A.切鲁比尼。;沃尔科夫,M.V。 图片减少单词和自由组的子组。 (英语) Zbl 1057.20025号 西奥。计算。科学。 307,第1期,77-92(2003).MSC公司:2010年1月20日 65年第68季度 70年第68季度 20E05年 20E07年 20F05型 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Ananichev}等人,Theor。计算。科学。307,第1号,77--92(2003;Zbl 1057.20025) 全文: 内政部
哈迪,K.A。;南萨班尼。;弗默伦,J.J.C。;维特布依,P.J。 非Hausdorff四元数乘法。 (英语) Zbl 1047.55006号 西奥。计算。科学。 305,编号1-3,135-158(2003). 审核人:J.雷迪奥斯(拉古纳) MSC公司:55季度25 50年第55季度 06A07年 52B99号 20G20年 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Hardie}等人,Theor。计算。科学。305,编号1--3,135-158(2003;Zbl 1047.55006) 全文: 内政部
桂树,Masashi;小林,Yuji;弗里德里希·奥托 线性时间内词问题可解的幺半群的不确定性质。二: 横截面和同调和同调有限条件。 (英语) Zbl 1053.68055号 西奥。计算。科学。 301,编号1-3,79-101(2003).MSC公司:2012年第68季度 2005年第68季度 2005年5月20日 03天35分 PDF格式BibTeX公司 XML格式引用 \文本{M.Katsura}等人,Theor。计算。科学。301,编号1--3,79-101(2003;Zbl 1053.68055) 全文: 内政部
佩德罗·席尔瓦。;本杰明·斯坦伯格 自动幺半群的扩张与子幺半群。 (英语) Zbl 1061.20048号 西奥。计算。科学。 289,第1期,727-754(2002).MSC公司:2005年5月20日 2012年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{P.V.Silva}和\textit{B.Steinberg},Theor。计算。科学。289,编号1727-754(2002年;兹bl 1061.20048) 全文: 内政部
迪内什·梅塔;维杰·拉加万 布尔函数的决策树近似。 (英语) Zbl 0988.68136号 西奥。计算。科学。 270,编号1-2,609-623(2002).MSC公司:68兰特 05C60型 20对25 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Mehta}和\textit{V.Raghavan},Theor。计算。科学。270,编号1--2609--623(2002;Zbl 0988.68136) 全文: 内政部
H.-A.埃斯贝林。 计算模有限半群。 (英语) 兹伯利0976.03048 西奥。计算。科学。 257,编号1-2,107-114(2001).MSC公司:2015年3月1日 2015年第68季度 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{H.A.Esbelin},Theor。计算。科学。257,编号1--2,107-114(2001;Zbl 0976.03048) 全文: 内政部
J·阿尔梅达。;席尔瓦,P.V。 SC-(\mathbf R\)的超可判定性。 (英语) Zbl 0989.20045号 西奥。计算。科学。 255,第1-2号,569-591(2001). 审核人:Y.Kobayashi(Funabashi) MSC公司:2007年7月20日 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Almeida}和\textit{P.V.Silva},Theor。计算。科学。255,编号1--2,569--591(2001;Zbl 0989.20045) 全文: 内政部
坎贝尔,C.M。;E.F.罗伯逊。;北卡罗来纳州鲁什库克。;托马斯·R·M·。 自动半群。 (英语) Zbl 0987.20033号 西奥。计算。科学。 250,编号1-2,365-391(2001). 审核人:L.A.Bokut(新西伯利亚) MSC公司:2005年5月20日 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Campbell}等人,Theor。计算。科学。250,编号1--2,365-391(2001;Zbl 0987.20033) 全文: 内政部
Gennady S.马卡宁。;塔蒂亚娜·马卡尼娜。 自由幺半群中参数方程解的参数化。 (英语) Zbl 0944.68147号 西奥。计算。科学。 242,编号1-2,403-475(2000).MSC公司:2005年5月20日 2015年20月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.S.Makanin}和\textit{T.A.Makanina},Theor。计算。科学。242,编号1--2,403--475(2000;Zbl 0944.68147) 全文: 内政部
卡隆,帕斯卡 本地可测试语言的族。 (英语) Zbl 0944.68097号 西奥。计算。科学。 242,编号1-2,361-376(2000).MSC公司:68兰特 2005年5月20日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Caron},Theor。计算。科学。242,编号1--2,361--376(2000;Zbl 0944.68097) 全文: 内政部
J.-C.比吉特。;马戈利斯,S。;Meakin,J。;威尔,P。 PSPACE公司-自由群子群和逆有限自动机的完备问题。 (英语) Zbl 0944.68100号 西奥。计算。科学。 242,第1-2号,247-281(2000).MSC公司:2017年第68季度 20E99型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Birget}等人,Theor。计算。科学。242,编号1--2,247--281(2000;Zbl 0944.68100) 全文: 内政部
V·阿尔文德。;维诺德钱德兰,N.V。 群定义语言的计数复杂性。 (英语) Zbl 0944.68067号 西奥。计算。科学。 242,第1-2号,199-218(2000).MSC公司:2015年第68季度 2010年1月20日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}和\textit{N.V.Vinodchandran},Theor。计算。科学。242,编号1--2,199-218(2000;Zbl 0944.68067) 全文: 内政部
A.N.特拉特曼。 确定有限自动机局部可测性阶的算法及其估计。 (英语) Zbl 0938.68055号 西奥。计算。科学。 235,第1期,183-204(2000).MSC公司:65年第68季度 65年第68季度 2007年7月20日 PDF格式BibTeX公司 XML格式引用 \文本{A.N.Trahtman},Theor。计算。科学。235,编号1,183--204(2000;Zbl 0938.68055) 全文: 内政部
王静 幺半群半直积的有限导子类型。 (英语) Zbl 0898.20038号 西奥。计算。科学。 191,编号1-2,219-228(1998).MSC公司:2005年5月20日 20立方米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Wang},Theor。计算。科学。191,编号1--2,219--228(1998;Zbl 0898.20038) 全文: 内政部
维罗尼克·布鲁埃;Derencourt,丹尼斯;米歇尔·拉特奥 代码格中的meet操作。 (英语) Zbl 1013.94009号 西奥。计算。科学。 191,编号1-2,117-129(1998).MSC公司:94年45日 65年第68季度 68兰特 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,Theor。计算。科学。191,编号1--2,117-129(1998;Zbl 1013.94009) 全文: 内政部