×

找到105个文档（结果1-100）

最新的 引文 关联
霍华德·斯特劳宾；韦尔·帕斯卡

品种。 （英语） Zbl 07469514号

Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。569-614 (2021).
MSC公司：70年第68季度 05年3月 2007年7月20日 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{H.Straubing}和\textit{P.Weil}，收录于：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。569--614（2021；Zbl 07469514）
全文： DOI程序 arXiv公司
伊戈尔·多林卡；罗伯特·D·格雷。

关于一个相关器组的前缀成员关系问题的新结果。 （英语） 兹比尔1487.20010

事务处理。美国数学。Soc公司。 374，第6号，4309-4358（2021）.
审核人：王正潘（重庆）
MSC公司：2010年1月20日 20F05型 2005年5月20日 2018年20月
PDF格式BibTeX公司 XML格式引用
\textit{I.Dolinka}和\textit{R.D.Gray}，翻译。美国数学。Soc.374，No.6，4309--4358（2021；Zbl 1487.20010）
全文： DOI程序 arXiv公司
尤亚·尤扎托；Minamide、Yasuhiko

超确定性下推自动机包含问题的基于单体的方法。 （英语） Zbl 1436.68189号

Brlek，Srečko（编辑）等人，《语言理论的发展》。2016年7月25日至28日，第20届国际会议，DLT 2016，加拿大蒙特利尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9840, 393-405 (2016).
MSC公司：65年第68季度 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{Y.Uezato}和\textit{Y.Minamide}，Lect。注释计算。科学。9840393--405（2016年；Zbl 1436.68189）
全文： DOI程序
扎哈罗夫，弗拉基米尔·A。

半群上有限状态变换器的等价性检验问题。 （英语） Zbl 1465.68187号

安德烈亚斯·马莱蒂（编辑），代数信息学。2015年9月1日至4日，第六届国际会议，CAI 2015，德国斯图加特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9270, 208-221 (2015).
MSC公司：70年第68季度 2010年1月20日 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Zakharov}，莱克特。注释计算。科学。9270208-221（2015；Zbl 1465.68187）
全文： DOI程序
连衣裙，A。；荷兰，B。；胡贝尔，K.T。；J.H.科伦。；V.莫尔顿。；Weyer-Menkhoff，J。

\（增量）加法和（增量）超加法映射、Gromov树和Farris变换。 （英语） Zbl 1056.92042号

离散应用程序。数学。 146，第1期，第51-73页（2005年）.
MSC公司：92D15型 65楼20层 05二氧化碳 05年5月57日 54E35个 05C90年 57M99型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Dress｝等人，离散应用。数学。146，编号1，51-73（2005年；兹bl 1056.92042）
全文： DOI程序
桂树，Masashi；小林，Yuji；弗里德里希·奥托

线性时间内词问题可解的幺半群的不确定性质。二： 横截面和同调和同调有限条件。 （英语） Zbl 1053.68055号

西奥。计算。科学。 301，编号1-3，79-101（2003）.
MSC公司：2012年第68季度 2005年第68季度 2005年5月20日 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{M.Katsura}等人，Theor。计算。科学。301，编号1--3，79-101（2003；Zbl 1053.68055）
全文： DOI程序
Tour男孩，蒂埃里

根据语义对称性进行分组计算的地面分辨率。 （英语） Zbl 1412.68211号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 478-492 (1996).
MSC公司：68吨15 20B40码
PDF格式BibTeX公司 XML格式引用
\textit{T.Boy de la Tour}，莱克特。注释计算。科学。1104478-492（1996年；Zbl 1412.68211）
全文： DOI程序
T·哈尔朱。；胡格布姆，H.J。；H.C.M.克莱因。

标识和转义。 （英语） Zbl 1529.68139号

Karhumäki，Juliani（编辑）等人，《理论计算机科学的结果和趋势》。1994年6月10日至11日，奥地利格拉茨阿尔托·萨洛马学术讨论会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。812, 140-144 (1994).
MSC公司：65年第68季度 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{T.Harju}等人，Lect。注释计算。科学。812140-144（1994年；Zbl 1529.68139）
全文： DOI程序
诺伯特·库恩；克劳斯·马德勒；弗里德里希·奥托

计算多环群和上下文无关群的子群的表示。 （英语） Zbl 0807.20030号

申请。代数工程通讯。计算。 5，第5号，287-316（1994）.
审核人：D.J.S.罗宾逊（乌尔班纳）
MSC公司：20F05型 2016年1月20日 20E07年 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit｛N.Kuhn｝等人，应用。代数工程通讯。计算。5，编号5，287--316（1994；Zbl 0807.2003）
全文： DOI程序
安德烈亚斯·韦伯；赫尔穆特·塞德尔

关于具有\（{mathbb{N}}\）项的矩阵的有限生成幺半群。 （英语） Zbl 0721.20042号

RAIRO，通知。塞奥尔。申请。 25，第1期，第19-38页（1991年）.
审核人：C.Reutenauer（蒙特利尔）
MSC公司：20平方米 11号45 2005年5月20日
PDF格式BibTeX公司 XML格式引用
\textit{A.Weber}和\textit{H.Seidl}，RAIRO，通知。塞奥尔。申请。25，编号1，19--38（1991；Zbl 0721.20042）
全文： DOI程序 欧洲DML
弗里德里希·奥托；张路欣

在某些同余类上合流的有限特殊字符串重写系统的决策问题。 （英语） Zbl 0699.20047

学报信息。 28，第5期，477-510（1991）.
审核人：F.奥托
MSC公司：2005年5月20日 03天 65年第68季度 2010年1月20日 20立方米 65年第68季度 70年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{F.Otto}和\textit{L.Zhang}，《学报》第28期，第5期，477--510（1991；Zbl 0699.20047）
全文： DOI程序
巴利亚特·纳伦德兰；科尔姆·奥斯杜伦；弗里德里希·奥托

一个有限的特殊字符串重写系统是否表示一个群是不可判定的。 （英语） Zbl 0749.20032号

离散数学。 98，第2期，153-159（1991）.
审核人：L.A.Bokut（新西伯利亚）
MSC公司：2005年5月20日 2010年1月20日 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Narendran}等人，《离散数学》。98，第2号，153--159（1991；Zbl 0749.20032）
全文： DOI程序
马克斯·加森；叶切斯科尔·扎尔斯坦

Grigorchuk群的复杂性及其在密码学中的应用。 （英语） Zbl 0749.68040号

西奥。计算。科学。 88，第1期，第83-98页（1991年）.
审核人：A.V.阿尼西莫夫（基辅）
MSC公司：65年第68季度 2010年1月20日 94A60型 65年第68季度 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{M.Garzon}和\textit{Y.Zalcstein}，Theor。计算。科学。88，编号1，83--98（1991；Zbl 0749.68040）
全文： DOI程序
J·伯斯特尔。

无限词的性质：最近的结果。 （英语） Zbl 1492.68077号

Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 36-46 (1989).
MSC公司：65年第68季度 20立方米 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.Berstel}，莱克特。注释计算。科学。349、36-46（1989年；Zbl 1492.68077）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件