×

找到1499份文件（结果1-100）

最新 引文 关联
伊曼纽尔·罗德罗

Muller-Schupp定理和树状逆图的推广。 （英语） Zbl 07846306号

J.隆德。数学。社会学，II。序列号。 109，第5号，文章ID e12903，35 p.（2024）.
审核人：Egle Bettio（威尼斯）
MSC公司：20层65 2010年1月20日 05C75号 70年第68季度 2018年11月20日 57M10个
PDF格式BibTeX公司 XML格式引用
\textit{E.Rodaro}，J.Lond。数学。社会学，II。序列号。109，第5号，文章ID e12903，35页（2024；Zbl 07846306）
全文： 内政部 arXiv公司
帕拉维·维杰·查万;亚什什·贾达夫

自动机理论和形式语言。 （英语） 兹比尔1532.68001

阿姆斯特丹：爱思唯尔/学术出版社（ISBN 978-0-323-91784-1/pbk；978-0-313-97217-8/电子书）。xxii，209页。(2023).
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：68-01 04年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.V.Chavan}和\textit{A.Jadhav}，自动机理论和形式语言。阿姆斯特丹：爱思唯尔/学术出版社（2023；Zbl 1532.68001）
马库斯·弗洛姆;伯恩哈德·斯特芬

从语言到行为再到行为。 （英语） Zbl 1524.68170号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 180-200 (2022).
MSC公司：65年第68季度 68问题32 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Frohme}和\textit{B.Steffen}，莱克特。注释计算。科学。13560、180-200（2022年；Zbl 1524.68170）
全文： 内政部
马库斯·弗洛姆;伯恩哈德·斯特芬

永远不要停止无语境学习。 （英语） Zbl 1522.68250号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 164-185 (2022).
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Frohme}和\textit{B.Steffen}，莱克特。注释计算。科学。13030164-185（2022年；Zbl 1522.68250）
全文： 内政部
纳吉，贝内德克

从有限自动机到分形自动机——递归的力量。 （英语） 兹比尔07630824

Durand-Lose，Jéróme（编辑）等人，《机器、计算和普遍性》。2022年8月31日至9月2日，第九届国际会议，MCU 2022，匈牙利德布勒森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13419, 109-125 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}，莱克特。注释计算。科学。13419，109-125（2022；Zbl 07630824）
全文： 内政部
维什尼金，M.E。

唯一类型的基本范畴文法。 （英语。俄文原件） Zbl 07584507号

莫斯克。大学数学。牛市。 77，第2号，93-96（2022）; 由Vestn翻译。莫斯科。州立大学。I 77，No.2，64-67（2022）。
MSC公司：03Bxx号 68季度xx 03年月日
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Vishnikin}，摩斯。大学数学。牛市。77，编号2，93-96（2022；Zbl 07584507）；由Vestn翻译。莫斯科。州立大学。I 77，编号2，64-67（2022）
全文： 内政部
井上，Yusuke;桥本，Kenji;弘久世奇（Hiroyuki Seki）

加权上下文无关文法的歧义层次。 （英语） Zbl 07572326号

Caron，Pascal（编辑）等人，《自动机的实现和应用》。第26届国际会议，CIAA 2022，法国鲁昂，2022年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13266, 238-250 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Inoue}等人，Lect。注释计算。科学。13266、238--250（2022；Zbl 07572326）
全文： 内政部
布林克·范德梅尔;马丁·伯格伦德

有序的上下文无关文法。 （英语） 兹伯利07572311

Caron，Pascal（编辑）等人，《自动机的实现和应用》。第26届国际会议，CIAA 2022，法国鲁昂，2022年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13266, 53-66 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.van der Merwe}和\textit{M.Berglund}，莱克特。注释计算。科学。13266，53-66（2022；Zbl 07572311）
全文： 内政部
叶卡捷琳娜·谢梅托娃;亚历山大·奥霍金;塞姆扬·格里戈列夫

解析树的有界维语言的有理索引。 （英语） Zbl 07571015号

Diekert，Volker（编辑）等人，《语言理论的发展》。第26届国际会议，DLT 2022，美国佛罗里达州坦帕，2022年5月9日至13日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13257, 263-273 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Shemetova}等人，Lect。注释计算。科学。13257、263--273（2022；Zbl 07571015）
全文： 内政部
Cheon、Hyunjoon;忠赫·哈恩;Han、Yo-Sub

关于中缀包含问题的可判定性。 （英语） Zbl 07571003号

Diekert，Volker（编辑）等人，《语言理论的发展》。第26届国际会议，DLT 2022，美国佛罗里达州坦帕，2022年5月9日至13日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13257, 115-126 (2022).
MSC公司：65年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Cheon}等人，Lect。注释计算。科学。13257/115-126（2022年；兹bl 07571003）
全文： 内政部
特雷弗·克劳基;托马斯·利德贝特（Thomas F.Lidbetter）。;安东尼奥·莫利娜·洛维特;杰弗里·沙利特;利昂·维兹曼

坚固和脆弱数字的计算方面。 （英语） Zbl 07570314号

西奥。计算。科学。 927, 65-86 (2022).
MSC公司：11B85号 第11页63 2016年11月 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Clokie}等人，Theor。计算。科学。927，65-86（2022；Zbl 07570314）
全文： 内政部 arXiv公司
霍曼达，W·阿迪斯·aw;维托尔德·佩德里茨

自动机理论和形式语言。 （英语） Zbl 1527.68001号

德格鲁伊特研究生柏林：De Gruyter（ISBN 978-3-11-075227-4/pbk；978-3-12-075230-4/电子书）。xiii，第231页。(2022).
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：68-01 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Homenda}和\textit{W.Pedrycz}，自动机理论和形式语言。柏林：De Gruyter（2022；Zbl 1527.68001）
全文： 内政部
马库斯·弗罗姆;伯恩哈德·斯特芬

运行时验证和自动机学习的无上下文共生。 （英语） Zbl 1520.68073号

Bartocci，Ezio（编辑）等人，《外层空间的形式方法》。纪念克劳斯·哈维隆德65岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。13065, 159-181 (2021).
MSC公司：60年第68季度 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Frohme}和\textit{B.Steffen}，莱克特。注释计算。科学。13065、159--181（2021；Zbl 1520.68073）
全文： 内政部
伯恩哈德·斯特芬;阿尔尼斯·穆托维

生成性程序分析及其以外：特定领域语言的力量（特邀论文）。 （英语） Zbl 1472.68042号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 29-51 (2021).
MSC公司：68号30 03B44型 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Steffen}和\textit{A.Murtovi}，莱克特。注释计算。科学。12597，29-51（2021；Zbl 1472.68042）
全文： 内政部
宫崎骏、高崎;Minamide、Yasuhiko

具有前瞻性的上下文无关语法。 （英语） Zbl 07405989号

Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 213-225 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Miyazaki}和\textit{Y.Minamide}，Lect。注释计算。科学。12638、213--225（2021；Zbl 07405989）
全文： 内政部
丹尼尔·耶林（Daniel M.Yellin）。;盖尔·韦斯

从递归神经网络合成无上下文文法。 （英语） 兹比尔1467.68077

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 351-369 (2021).
MSC公司：68问题32 2012年第68季度 65年第68季度 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Yellin}和\textit{G.Weiss}，莱克特。注释计算。科学。12651、351--369（2021；Zbl 1467.68077）
全文： 内政部 arXiv公司
OA许可证
马提亚斯·恩格尔;彼得·霍夫曼;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;朱利叶斯·斯特拉辛斯基

非循环下推VAS中覆盖性问题的下限。 （英语） Zbl 1509.68097号

信息处理。莱特。 167，文章ID 106079，6 p.（2021）.
MSC公司：2017年第68季度 2012年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Englert}等人，《信息处理》。莱特。167，文章ID 106079，6 p.（2021；Zbl 1509.68097）
全文： 内政部 链接
特雷弗·克劳基;托马斯·利德贝特。;洛维特·安东尼奥·莫利纳。;杰弗里·沙利特;利昂·维兹曼

坚固而脆弱的数字带来了计算乐趣。 （英语） Zbl 1515.68160号

Farach-Colton，Martin（编辑）等人，第十届算法乐趣国际会议。2021年5月30日至2021年6月1日，意大利西西里岛法维格纳纳岛。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。157，第10条，第21页（2020年）。
MSC公司：65年第68季度 第11页63 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Clokie}等人，LIPIcs——莱布尼茨国际程序。通知。157，第10条，第21页（2020年；Zbl 1515.68160）
全文： 内政部
保罗·C·贝尔。;帕维尔，塞穆钦

基于字母边界输入的概率有限自动机的割点隔离的可判定性。 （英语） 兹伯利07559478

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第22条，第16页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Bell}和\textit{P.Semukhin}，LIPIcs——莱布尼茨国际程序。通知。171，第22条，第16页（2020；Zbl 07559478）
全文： 内政部 arXiv公司
卡罗琳娜·莱赫蒂宁;马丁·齐默尔曼

Good-for-games（\omega）-下推自动机。 （英语） 兹比尔1518.68181

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。689-702 (2020).
MSC公司：65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Lehtinen}和\textit{M.Zimmermann}，摘自：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。689-702（2020年；Zbl 1518.68181）
全文： 内政部 arXiv公司
埃里克·杜希恩;维克多·马索;阿琳·帕罗;米歇尔·里戈

将游戏和边缘游戏视为重写游戏。 （英语） Zbl 1462.68102号

离散数学。西奥。计算。科学。 22，第4号，第5号论文，第19页（2020年）.
MSC公司：65年第68季度 2012年第68季度 91A46型
PDF格式BibTeX公司 XML格式引用
\textit{E.Ducháne}等人，《离散数学》。西奥。计算。科学。22，第4号，第5号论文，第19页（2020年；Zbl 1462.68102）
全文： arXiv公司 链接
弗里德里希·奥托

无状态有序重启删除自动机对无上下文语言的描述。 （英语） Zbl 1440.68160号

Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 39-50 (2020).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Otto}，莱克特。注释计算。科学。12011，39-50（2020；Zbl 1440.68160）
全文： 内政部
曼弗雷德·德罗斯特;斯文·齐亚德克;沃纳·库奇

代数系统和加权简单下推自动机的Greibach范式。 （英语） Zbl 1504.68098号

Chattopadhyay，Arkadev（ed.）等人，第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日，印度孟买，FSTTCS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150，第38条，第14页（2019年）。
MSC公司：65年第68季度 2012年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Droste｝等人，《LIPIcs——莱布尼茨国际期刊》。通知。150，第38条，第14页（2019年；Zbl 1504.68098）
全文： 内政部
埃里克·德朱利

随机语言中秩序的出现。 （英语） Zbl 1509.68131号

《物理学杂志》。A、 数学。西奥。 52，第50号，文章ID 504001，17 p.（2019）; 更正同上，第55号，第48条，第489501条，第4页（2022年）。
MSC公司：65年第68季度 2012年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Giuli}，J.Phys。A、 数学。西奥。52，第50号，文章ID 504001，第17页（2019；Zbl 1509.68131）
全文： 内政部 arXiv公司
贝内德克·纳吉;弗里德里希·奥托

具有半透明字母的两个头有限状态接收器。 （英语） Zbl 1444.68099号

巴巴拉·卡塔尼亚（编辑）等人，《2019年SOFSEM：计算机科学的理论与实践》。第45届计算机科学理论与实践当前趋势国际会议，2019年1月27日至30日，斯洛伐克，11月斯莫科维奇。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11376, 406-418 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}和\textit{F.Otto}，莱克特。注释计算。科学。11376、406--418（2019年；Zbl 1444.68099）
全文： 内政部
王海辉;赵璐瑶;李平

格序幺半群中FCFL同态逆下闭包的改进证明。 （英语） Zbl 1452.68110号

孙晓明（主编）等，《理论计算机科学》。2019年NCTCS第37届全国会议，中国兰州，2019年8月2-4日。修订了选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1069, 64-75 (2019).
MSC公司：65年第68季度 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Wang}等人，Commun。计算。信息科学。1069，64-75（2019；Zbl 1452.68110）
全文： 内政部
谢尔盖·博日科;Leyla Khatbullina公司;塞米扬·格里戈列夫

Coq中的Bar-Hillel定理机械化。 （英语） Zbl 1530.68140号

罗莎莉·伊姆霍夫（编辑）等人，《逻辑、语言、信息和计算》。第26届国际研讨会，2019年7月2日至5日，荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11541, 264-281 (2019).
MSC公司：65年第68季度 68伏15 68版本20
PDF格式BibTeX公司 XML格式引用
\textit{S.Bozhko}等人，Lect。注释计算。科学。11541、264--281（2019年；Zbl 1530.68140）
全文： 内政部
斯齐拉德·兹索尔特·法泽卡斯;河西县，Kaito;山村，明弘

用跳跃模式增强自动机。 （英语） Zbl 1425.68195号

Castill-Ramirez，Alonso（编辑）等人，《细胞自动机和离散复杂系统》。第25届IFIP WG 1.5国际研讨会，2019年6月26日至28日，墨西哥瓜达拉哈拉，AUTOMATA 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11525, 62-76 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Z.Fazekas}等人，Lect。注释计算。科学。11525，62-76（2019；Zbl 1425.68195）
全文： 内政部 哈尔
亨宁费尔瑙

形式语言中复杂性的现代方面。 （英语） Zbl 1425.68197号

Martín-Vide，Carlos（编辑）等人，《语言和自动机理论与应用》。2019年3月26日至29日在俄罗斯圣彼得堡举行的第13届LATA国际会议，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11417, 3-30 (2019).
MSC公司：65年第68季度 2017年第68季度 65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}，莱克特。注释计算。科学。11417，3--30（2019年；Zbl 1425.68197）
全文： 内政部
马库斯·拉莫斯。;何塞·卡洛斯·巴塞拉·阿尔梅达;内尔玛·莫雷拉;de Queiroz，Ruy J.G.B。

无上下文语言泵引理形式化的一些应用。 （英语） Zbl 1433.68200号

Accattoli，Beniamino（编辑）等人，《逻辑和语义框架与应用第13次研讨会论文集》，LSFA 18，巴西福塔莱萨，2018年9月26日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。344, 151-167 (2019).
MSC公司：65年第68季度 68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{M.V.M.Ramos}等人，《电子》。注释Theor。计算。科学。344151-167（2019年；Zbl 1433.68200）
全文： 内政部
维利亚姆·格弗特;Bednárová，祖扎纳;亚历山大·萨巴里

用于编辑距离邻域的输入驱动下推自动机。 （英语） Zbl 07117540号

Hofman，Piotrek（编辑）等人，《语言理论的发展》。第23届国际会议，DLT 2019，波兰华沙，2019年8月5-9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11647, 113-126 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Geffert}等人，Lect。注释计算。科学。11647、113-126（2019；Zbl 07117540）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件