×

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

最新的 引文 关联
古斯塔夫森，保罗；我，Mee Seong；雷米·卡尔达维；米哈伊尔·霍瓦诺夫；萨卡里·林恩

带缺陷的自动机和一维TQFT。 （英语） Zbl 07743387号

莱特。数学。物理。 113，第5号，第93号论文，38页（2023年）.
MSC公司：57公里16 65年第68季度 18个M10 18立方米 2012年6月 70年第68季度 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Gustafson}等人，Lett。数学。物理。113，第5号，第93号文件，第38页（2023；Zbl 07743387）
全文： 内政部 arXiv公司
古斯塔夫森，保罗；我，Mee Seong；米哈伊尔·霍瓦诺夫

具有累积缺陷的布尔TQFT、sofic系统和用于无限单词的自动机。 arXiv:2312.17033号

预印本，arXiv:2312.17033[math.CT]（2023）。
MSC公司：57公里16 65年第68季度 2005年8月 37B10号机组 2012年6月 70年第68季度 18B20型
BibTeX公司 引用
\textit{P.Gustafson}等人，“具有累积缺陷的布尔TQFT、sofic系统和无限单词的自动机”，预打印，arXiv:2312.17033[math.CT]（2023）
全文： arXiv公司
OA许可证
Bidlingmaier，Martin E。；弗洛里安·费索尔；溅出物，Bas

概率规划同伦类型理论中的合成拓扑。 （英语） Zbl 1517.68072号

数学。结构。计算。科学。 31，第10号，1301-1329（2021）.
MSC公司：68甲19 03B38型 03层60 2012年2月6日 18对25 18个C20 18 C50 18号45 第28页，共15页 55单位35 68号30 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Bidlingmaier}等人，《数学》。结构。计算。科学。31，第10号，1301--1329（2021；Zbl 1517.68072）
全文： 内政部 arXiv公司
基蒂·盖尔；Iván，萨博尔斯

秩为1的分散上下文无关排序的排序类型是可计算的。 （英语） Zbl 1440.68155号

Chatzigeorgiou，Alexander（编辑）等人，SOFSEM 2020：计算机科学的理论与实践。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 273-284 (2020).
MSC公司：65年第68季度 06年05月
PDF格式BibTeX公司 XML格式引用
\textit{K.Gelle}和\textit{S.Iván}，莱克特。注释计算。科学。12011273-284（2020年；Zbl 1440.68155）
全文： 内政部 arXiv公司
迪迪埃·科卡尔；克洛伊·里斯帕尔

长度可识别的布尔代数。 （英语） Zbl 1519.68116号

Margaria，Tiziana（编辑）等人，《模型、心态、元：什么、如何以及为什么不？》？在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11200, 169-185 (2019).
MSC公司：65年第68季度 05年6月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Caucal}和\textit{C.Rispal}，莱克特。注释计算。科学。11200，169-185（2019；Zbl 1519.68116）
全文： 内政部 哈尔
Lyubov’Nikolaevna Sysoeva公司

具有四个恒定状态的准泛布尔自动机。 （英语。俄文原件） Zbl 1452.68109号

莫斯科。大学数学。牛市。 74，第6期，241-245（2019）; 由Vestn翻译。莫斯科。州立大学。I 74，第6号，第51-55页（2019年）。
MSC公司：65年第68季度 06E30年 94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit{L.N.Sysoeva}，莫斯克。大学数学。牛市。74，第6号，241--245（2019；Zbl 1452.68109）；由Vestn翻译。莫斯科。州立大学。I 74，第6号，第51-55号（2019年）
全文： 内政部
小川，水井裕人；维克托·塞利瓦诺夫

关于与单调WQO相关的正则语言类。 （英语） Zbl 1434.68280号

Hospodár，Michal（编辑）等人，《形式系统的描述复杂性》。第21届IFIP工作组1.02国际会议，2019年7月17日至19日，斯洛伐克科希策，DCFS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11612, 235-247 (2019).
MSC公司：65年第68季度 03B25号 06年06月06日
PDF格式BibTeX公司 XML格式引用
\textit{M.Ogawa}和\textit{V.Selivanov}，Lect。注释计算。科学。11612，235-247（2019；Zbl 1434.68280）
全文： 内政部 哈尔
亚历克西斯·利纳德；科林·德·拉·希格拉；Vaandrager，Frits公司

学习可测试语言的联合。 （英语） Zbl 1425.68150号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。第13届国际会议，LATA 2019，俄罗斯圣彼得堡，2019年3月26日至29日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11417, 328-339 (2019).
MSC公司：68问题32 2015年1月6日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Linard}等人，Lect。注释计算。科学。11417、328--339（2019；Zbl 1425.68150）
全文： 内政部 arXiv公司
瓦迪姆·洛津

从文字到图形，再到背面。 （英语） Zbl 1425.68217号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11417, 43-54 (2019).
MSC公司：65年第68季度 05年05月05日 2007年6月 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{V.Lozin}，莱克特。注释计算。科学。11417，43-54（2019；Zbl 1425.68217）
全文： 内政部
豪尔赫·阿尔梅达；阿尔弗雷多·科斯塔；何塞·卡洛斯，科斯塔；马克·泽顿

伪词的线性性质。 （英语） Zbl 1508.20071号

出版物。材料、棒材。 63，第2号，361-422（2019）.
MSC公司：2007年7月20日 2005年5月20日 06年05月 65年第68季度 37B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.Almeida}等人，出版物。材料、棒材。63，编号2，361--422（2019；Zbl 1508.20071）
全文： 内政部 arXiv公司 欧几里得
尼古拉斯·巴塞特；伊斯马·杰克；阿诺·保利；让-弗朗索瓦·拉斯金；范登，博加德·玛丽

超越可接受性：战略链之间的主导地位。 （英语） Zbl 1528.91015号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第10条，第22页（2018年）。
MSC公司：91A43型 2007年6月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Basset}等人，LIPIcs——莱布尼茨国际程序。通知。119，第10条，22 p.（2018；Zbl 1528.91015）
全文： 内政部 arXiv公司
乔治·泽采

分段可测试语言的可分性和子单词以外的向下闭包。 （英语） Zbl 1497.68281号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。929-938 (2018).
MSC公司：65年第68季度 03B70号 2007年6月
PDF格式BibTeX公司 XML格式引用
\textit{G.Zetzsche}，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9-12日。纽约州纽约市：计算机协会（ACM）。929--938（2018年；Zbl 1497.68281）
全文： 内政部
维塔利·罗曼科夫

具有有理集布尔代数和双自动可解群的多环、元贝尔或可解（（（mathrm{FP}）_infty）型群实际上是阿贝尔的。 （英语） Zbl 1427.2004年11月

格拉斯哥。数学。J。 60，第1期，209-218（2018）.
MSC公司：2016年1月20日 20J05型 05年6月 65楼20层 2010年1月20日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Roman'kov}，格拉格。数学。J.60，第1号，209--218（2018；Zbl 1427.2004）
全文： 内政部 arXiv公司
西索耶娃，L.N。

由具有三个恒定状态的初始布尔自动机实现的布尔函数数的估计。 （英语。俄文原件） Zbl 1373.06017号

莫斯科。大学数学。牛市。 72，第2号，61-69（2017）; 由Vestn翻译。莫斯科。州立大学。I 72，第2期，第19-28页（2017年）。
MSC公司：06E30年 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.N.Sysoeva}，莫斯克。大学数学。牛市。72，第2号，61-69（2017；Zbl 1373.06017）；由Vestn翻译。莫斯科。州立大学。I 72，编号2，19-28（2017）
全文： 内政部
让-埃里克·品

格的对偶空间作为Pervin空间的完备性（扩展抽象）。 （英语） Zbl 1486.06007号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。第16届国际会议，RAMiCS 2017，法国里昂，2017年5月15日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226, 24-40 (2017).
MSC公司：06年50月 54甲12 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-Ei.Pin}，莱克特。注释计算。科学。10226，24-40（2017；Zbl 1486.06007）
全文： 内政部
梅·盖尔克

计算机科学中的二重性。 （英语） Zbl 1392.68268号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。12-26 (2016).
MSC公司：70年第68季度 03B45号 06年50月 2015年6月 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Gehrke}，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。12-26（2016；Zbl 1392.68268）
全文： 内政部
梅·盖尔克；丹尼尔·彼得里桑；卢卡·雷吉奥

句法空间的Schützenberger乘积。 （英语） Zbl 1388.68193号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 112，14 p.（2016）。
MSC公司：70年第68季度 05年3月 2015年6月
PDF格式BibTeX公司 XML格式引用
\textit{M.Gehrke}等人，LIPIcs——莱布尼茨国际程序。通知。55，第112条，第14页（2016年；Zbl 1388.68193）
全文： 内政部 arXiv公司
Sysoeva，L.N。

由具有两个恒定状态的初始布尔自动机实现的最大布尔函数数。 （英语。俄文原件） Zbl 1369.06007号

莫斯科。大学数学。牛市。 71，第4140-145号（2016）; 由Vestn翻译。莫斯科。州立大学。I 71，第4期，第12-17页（2016年）。
MSC公司：06E30年 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.N.Sysoeva}，莫斯克。大学数学。牛市。71，第4号，140--145（2016；Zbl 1369.06007）；由Vestn翻译。莫斯科。州立大学。I 71，第4号，12--17（2016）
全文： 内政部
尼古拉斯·贝登

离散和可数串并联偏序集的分支自动机的补充。 （英语） Zbl 1436.68160号

Brlek，Srečko（编辑）等人，《语言理论的发展》。2016年7月25日至28日，第20届国际会议，DLT 2016，加拿大蒙特利尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9840, 13-25 (2016).
MSC公司：65年第68季度 06年06月06日 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{N.贝登}，莱克特。注释计算。科学。9840，13-25（2016；Zbl 1436.68160）
全文： 内政部
艾西克，佐尔坦；乌里·法伦贝格；Legay、Axel

\能量问题的（^*\）-连续Kleene\（\omega\）-代数。 （英语） Zbl 1476.68129号

Matthes，Ralph（编辑）等人，第十届计算机科学固定点国际研讨会论文集，2015年国际计算机科学联合会，德国柏林，2015年9月11日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）191、48-59（2015）。
MSC公司：65年第68季度 06B23号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{Z.e-sik}等人，《电子》。程序。西奥。计算。科学。（EPTCS）191、48--59（2015；Zbl 1476.68129）
全文： arXiv公司 链接
约翰·舒斯特；马库斯·西格尔

双相似概率自动机的格结构。 （英语） Zbl 1464.68183号

Holik，Lukas（编辑）等人，《第十五届无限状态系统验证国际研讨会论文集》，《INFINITY’13》，越南河内，2013年10月14日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）140，1-15（2014）。
MSC公司：65年第68季度 05年6月 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Schuster}和\textit{M.Siegle}，电子。程序。西奥。计算。科学。（EPTCS）140，1--15（2014；Zbl 1464.68183）
全文： arXiv公司 链接
马丁·霍夫曼；陈伟

Büchi自动机的抽象解释。 （英语） Zbl 1401.68162号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-1-4503-2886-9）。第51号论文，第10页（2014年）。
MSC公司：65年第68季度 2015年1月6日 05年6月 68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{W.Chen}，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第51号论文，第10页（2014；Zbl 1401.68162）
全文： 内政部 链接
科诺瓦洛夫，A.S。；Selivanov，V.L。

正则语言的布尔代数。 （英语。俄文原件） Zbl 1312.68119号

代数逻辑 52，第6号，448-470（2014）; 摘自《代数逻辑》52，第6期，676-711（2013）。
MSC公司：65年第68季度 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Konovalov}和\textit{V.L.Selivanov}，代数逻辑52，No.6，448--470（2014；Zbl 1312.68119）；《代数逻辑》52的译文，第6期，第676--711页（2013）
全文： 内政部
安东·科诺瓦洛夫

正则拟周期语言的布尔代数。 （英语） Zbl 1310.68134号

Brattka，Vasco（编辑）等人，《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林：De Gruyter（ISBN 978-1-61451-783-2/hbk；978-1-61481-804-4/电子书）。Ontos数学逻辑4，191-203（2014）。
MSC公司：65年第68季度 03C13号机组 05年6月 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Konovalov｝，Ontos数学。日志。4191-203（2014；Zbl 1310.68134）
谢尔盖·冈查洛夫；卢茨·施罗德

一个相对完整的用于顺序丰富效果的通用霍尔逻辑。 （英语） Zbl 1366.68023号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。273-282 (2013).
MSC公司：68号30 03B70号 06B35号 18 C50 18D20天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}和\textit{L.Schröder}，in：2013年第28届ACM/IEEE计算机科学逻辑年度研讨会论文集，2013年LICS，美国路易斯安那州新奥尔良市杜兰大学，2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。273--282（2013年；Zbl 1366.68023）
全文： 内政部
蒂瓦里，S.P。；Anupam K.辛格。

模糊预序、模糊拓扑和模糊过渡系统。 （英语） Zbl 1303.68082号

Lodaya，Kamal（编辑），《逻辑及其应用》。第五届印度会议，2013年ICLA，印度钦奈，2013年1月10日至12日，会议记录。柏林：施普林格出版社（ISBN 978-3-642-36038-1/pbk）。计算机科学课堂讲稿7750，210-219（2013）。
MSC公司：65年第68季度 06A75号 54个40个
PDF格式BibTeX公司 XML格式引用
\textit｛S.P.Tiwari｝和\textit｛A.K.Singh｝，Lect。注释计算。科学。7750、210-219（2013；Zbl 1303.68082）
全文： 内政部
罗兰·格里克

基于二元体的模型改进中的两个观察结果。 （英语） Zbl 1364.68307号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日，第13届国际会议，RAMiCS 2012，英国剑桥。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560235-247（2012）。
MSC公司：68兰特 05C30号 05年6月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Glück}，莱克特。注释计算。科学。7560235-247（2012年；Zbl 1364.68307）
全文： 内政部
阿拉斯代尔·阿姆斯特朗；乔治·斯特鲁斯

高阶正则代数中的自动推理。 （英语） Zbl 1364.68326号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日，第13届国际会议，RAMiCS 2012，英国剑桥。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560，66-81（2012）。
MSC公司：68吨15 2015年1月6日 07年6月 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Armstrong}和\textit{G.Struth}，莱克特。注释计算。科学。7560、66-81（2012年；Zbl 1364.68326）
全文： 内政部
Chandrasekhara Rao，K。

离散数学。 （英语） Zbl 1253.05001号

新德里：纳罗莎出版社；牛津：阿尔法科学国际（ISBN 978-81-8487-135-7/pbk；978-1-84265-695-2/pbk）。xiii，第432页。，没有连续分页。（2012年）。
审核人：沃纳·克莱因茨（柏林）
MSC公司：05-01 03-01 06-01 08-01 68季度xx 00A05号
PDF格式BibTeX公司 XML格式引用
\textit{K.Chandrasekhara Rao}，离散数学。新德里：纳罗莎出版社；牛津：阿尔法科学国际（2012；Zbl 1253.05001）
维克托·塞利瓦诺夫；安东·科诺瓦洛夫

正则语言的布尔代数。 （英语） 兹比尔1221.68144

Mauri，Giancarlo（编辑）等人，《语言理论的发展》。第15届国际会议，DLT 2011，2011年7月19日至22日，意大利米兰。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22320-4/pbk）。计算机科学课堂讲稿6795386-396（2011）。
MSC公司：65年第68季度 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{V.Selivanov}和\textit{A.Konovalov}，莱克特。注释计算。科学。6795，386--396（2011；Zbl 1221.68144）
全文： 内政部
奥利维尔·卡尔顿；托马斯·科尔科姆贝特；加布里埃尔，小狗

可数线性序上的正则语言。 （英语） Zbl 1333.68186号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学讲义6756125-136（2011）。
MSC公司：70年第68季度 03B15号机组 05年3月 06年05月
PDF格式BibTeX公司 XML格式引用
\textit{O.Carton}等人，Lect。注释计算。科学。6756、125-136（2011年；Zbl 1333.68186）
全文： 内政部 链接
西北部绍尔。

关于一般着色问题。 （英语） Zbl 1277.06004号

Calude，Cristian S.（编辑）等人，《计算机科学的彩虹》。在赫尔曼·莫勒70岁生日之际献给他。柏林：施普林格出版社（ISBN 978-3-642-19390-3/pbk）。计算机科学课堂讲稿6570116-126（2011）。
MSC公司：06D20日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.W.Sauer}，莱克特。注释计算。科学。6570，116-126（2011年；兹bl 1277.06004）
全文： 内政部
查克拉波蒂，斯瓦潘·库马尔；比卡什·坎蒂（Bikash Kanti Sarkar）

离散数学。 （英语） Zbl 1213.00014号

牛津高等教育牛津：牛津大学出版社（ISBN 978-0-19-806543-2/pbk）。十六、567页。(2011).
审核人：乌尔里希·克瑙尔（奥尔登堡）
MSC公司：00A06号 05-01 03-01 20-01 06-01 68-01
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Chakraborty}和\textit{B.K.Sarkar}，离散数学。牛津：牛津大学出版社（2011；Zbl 1213.00014）
阿兰·勒科姆

意义、逻辑和逻辑。 （英语） 兹比尔1246.68238

伦敦：帝国理工学院出版社（ISBN 978-1-84816-456-7/hbk；978-1-848 16-458-1/电子书）。十七、369页。(2011).
审核人：曼努埃尔·布雷默（杜塞尔多夫）
MSC公司：68T50型 68-02 68问题55 03B70号 06B35号 03B47号 03B65号 03B99号
PDF格式BibTeX公司 XML格式引用
\文本{A.Lecomte}，意义，逻辑和滑稽。伦敦：帝国理工学院出版社（2011；Zbl 1246.68238）
全文： 链接
布尔斯，尤尼斯；爱德蒙德·塞尔斯

词的半格中的分布性。 （英语） Zbl 1217.68167号

Chajda，I.（编辑）等，第79届普通代数研讨会论文集“79。Arbeitstagung Allgemeine Algebra”，第25届年轻代数学家会议，捷克共和国奥洛穆克帕拉克奥洛穆奇大学，2010年2月12日至14日。克拉根福：Verlag Johannes Heyn（ISBN 978-3-7084-0407-3/pbk）。对《普通代数》的贡献19，13-21（2010）。
MSC公司：68兰特 2012年6月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Buls}和\textit{E.Cers}，《Contrib.Gen.Algebra》19，13-21（2010；Zbl 1217.68167）
塔马尔·艾齐科维茨；尼西姆·弗朗西兹；丹尼尔·根金；迈克尔·卡明斯基

用下限扩展自由预群。 （英语） Zbl 1228.03013号

螺柱日志。 95，第3期，417-441（2010）.
审核人：玛丽·杜日伊（俄斯特拉发）
MSC公司：03B65号 03B47号 03G25号 99年6月 2012年第68季度 70年第68季度 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{T.Aizikowitz}等人，研究日志。95，编号3417-441（2010年；兹bl 1228.03013）
全文： 内政部
劳伦特·布劳德；阿诺德·卡拉约尔

下推层次结构中的线性顺序。 （英语） Zbl 1288.68150号

Abramsky，Samson（编辑）等人，《自动化，语言和编程》。第37届国际学术讨论会，ICALP 2010，波尔多，法国，2010年7月6日至10日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14161-4/pbk）。计算机科学讲义6199，88-99（2010）。
MSC公司：65年第68季度 03B15号机组 05年3月 06年05月 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Braud}和\textit{A.Carayol}，莱克特。注释计算。科学。6199、88-99（2010年；Zbl 1288.68150）
全文： 内政部
沃伊切赫·巴斯科夫斯基；林哲

带有字母提升的预编组语法。 （英语） Zbl 1284.68319号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13088-5/pbk）。计算机科学课堂讲稿603130141（2010）。
MSC公司：2012年第68季度 05年6月 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Buszkowski}和\textit{Z.Lin}，Lect。注释计算。科学。6031、130--141（2010年；Zbl 1284.68319）
全文： 内政部
伊纳州费希特纳；迪特里赫·库斯克；英格玛·梅内克

痕迹、系列平行偏序集和图片：一项加权研究。 （英语） Zbl 1484.68084号

Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单声道。理论。计算。科学。，EATCS系列。，405-450 (2009).
MSC公司：65年第68季度 05年3月 06年06月06日 68问题80 68问题85 68单位10
PDF格式BibTeX公司 XML格式引用
\textit{I.Fichtner}等人，in：加权自动机手册。柏林：斯普林格。405-450（2009年；兹bl 1484.68084）
全文： 内政部
王，杨；莫志文

Mizumoto格有限自动机之间的等价性。 （英语） Zbl 1211.68239号

曹炳元（主编）等，《模糊信息与工程》第一卷。第三届模糊信息与工程年会论文集（ACFIE 2008），中国海口，2008年12月5日至10日。柏林：施普林格出版社（ISBN 978-3-540-88913-7/pbk；978-3-540-88914-4/电子书）。《软计算进展》54，33-37（2009）。
MSC公司：65年第68季度 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{Y.Wang}和\textit{Z.-W.Mo}，高级软计算。54、33-37（2009年；Zbl 1211.68239）
全文： 内政部
沃伊切赫·巴斯科夫斯基；马西耶·法鲁列夫斯基

具有添加剂和上下文无关语言的非关联Lambek微积分。 （英语） Zbl 1239.03016号

Orna Grumberg等人，《语言：从形式到自然》。在尼西姆·弗朗西兹65岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-01747-6/pbk）。计算机科学课堂讲稿5533，45-58（2009）。
MSC公司：03B65号 03B47号 05年6月 65年第68季度 91层20
PDF格式BibTeX公司 XML格式引用
\textit{W.Buszkowski}和\textit{M.Farulewski}.莱克特。注释计算。科学。5533，45-58（2009；Zbl 1239.03016）
全文： 内政部
托马斯·科尔科姆贝特

无限单词的分解森林。可数分散线性排序的应用。 （英语） Zbl 1135.68454号

Csuhaj-Varjü，Erzébet（编辑）等人，《计算理论基础》。2007年8月27日至30日在匈牙利布达佩斯举行的2007年FCT第16届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74239-5/pbk）。计算机科学课堂讲稿4639，226-237（2007）。
MSC公司：65年第68季度 06年05月
PDF格式BibTeX公司 XML格式引用
\textit{T.Colcombet}，莱克特。注释计算。科学。4639，226--237（2007；Zbl 1135.68454）
全文： 内政部
迪诺拉，A。；B·格拉。

Lukasiewicz逻辑代数及其半环约简。 （英语） 兹比尔1081.06009

Litvinov，G.L.（编辑）等人，《幂等数学和数学物理》。国际研讨会会议记录，奥地利维也纳，2003年2月3日至10日。普罗维登斯，RI：美国数学学会（AMS）（ISBN 0-8218-3538-6/pbk）。《当代数学》377131-144（2005）。
审核人：罗斯蒂斯拉夫·霍西克（普拉哈）
MSC公司：05年6月 2016年60月 03B50号 03G20年 70年第68季度 03E72型
PDF格式BibTeX公司 XML格式引用
\textit{A.Di Nola}和\textit{B.Gerla}，康特姆。数学。377131-144（2005年；Zbl 1081.06009）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件