城市,基督教 POSIX正则表达式派生词词法分析。 (英语) Zbl 07722431号 J.汽车。推理 67,第3期,第24号论文,24页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban},J.Autom。推理67,第3号,论文24,24页(2023;Zbl 07722431) 全文: 内政部
菲利普·比尔;Görtz,Inge Li 从正则表达式匹配到解析。 (英语) Zbl 07605997号 学报信息。 59,第6号,709-724(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bille}和\textit{I.L.Görtz},《学报》第59卷,第6期,第709--724页(2022年;Zbl 07605997) 全文: 内政部 链接
安德烈·菲林斯基 校对程序转换:高效正则表达式匹配的函数说明。 (英语) Zbl 1522.68151号 J.功能。程序。 31,论文编号e12,38 p.(2021).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Filinski},J.Funct。程序。31,论文编号e12,38 p.(2021;Zbl 1522.68151) 全文: 内政部
安杰洛·博尔索蒂;卢卡·布雷维利里;克雷斯皮·雷吉齐,斯特凡诺;安杰洛·莫尔岑蒂 模糊正则表达式的确定性分析算法。 (英语) Zbl 1487.68142号 学报信息。 58,第3期,195-229(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Borsotti}等人,《信息学报》58,第3期,195-229(2021年;Zbl 1487.68142) 全文: 内政部
马丁·伯格伦德;威廉·贝斯特;布林克·范德梅尔 形式化并实现Boost POSIX正则表达式匹配。 (英语) Zbl 1477.68145号 西奥。计算。科学。 857, 147-165 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}等人,Theor。计算。科学。857、147--165(2021年;Zbl 1477.68145) 全文: 内政部
亚历山大·萨哈罗夫 带注释的正则表达式和输入驱动语言。 (英语) Zbl 1441.68129号 信息处理。莱特。 159-160,文章ID 105958,第5页(2020年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Sakharov},Inf.过程。莱特。159-160,文章ID 105958,5 p.(2020;Zbl 1441.68129) 全文: 内政部
菲利普·比尔;Görtz,Inge Li 从正则表达式匹配到解析。 (英语) Zbl 07561715号 Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际会议记录。通知。138,第71条,第14页(2019年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bille}和\textit{I.L.Görtz},LIPIcs——莱布尼茨国际程序。通知。138,第71条,第14页(2019年;Zbl 07561715) 全文: 内政部 arXiv公司
达斯,阿努帕姆;Damien Pous (Kleene+作用)(代数+格)的非完备性证明理论。 (英语) Zbl 1528.03234号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。119,第19条,第18页(2018年)。MSC公司:05年3月 03G25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{D.Pous},LIPIcs——莱布尼茨国际程序。通知。119,第19条,第18页(2018;Zbl 1528.03234) 全文: 内政部
马丁·苏尔兹曼;彼得·蒂曼 无上下文表达式的计算解释。 (英语) Zbl 1503.68158号 Chang,Bor-Yuh-Evan(编辑),《编程语言和系统》。2017年11月27日至29日,第15届亚洲研讨会,APLAS 2017,中国苏州。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10695, 387-405 (2017).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{P.Thiemann}.莱克特。注释计算。科学。10695,387--405(2017;Zbl 1503.68158) 全文: 内政部 arXiv公司
马丁·苏尔兹曼;卢,肯尼·卓明 基于导数的正则表达式歧义诊断。 (英语) Zbl 1380.68260号 发现的国际期刊。计算。科学。 28,第5号,543-561(2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{K.Z.M.Lu},国际发现杂志。计算。科学。28,第5号,543--561(2017;Zbl 1380.68260) 全文: 内政部 arXiv公司
马丁·伯格伦德;布林克·范德梅尔 关于正则表达式解析的语义。 (英语) 兹比尔1371.68141 西奥。计算。科学。 679, 69-82 (2017).MSC公司:65年第68季度 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}和\textit{B.van der Merwe},Theor。计算。科学。679、69-82(2017年;Zbl 1371.68141) 全文: 内政部
马丁·苏尔兹曼;卢,肯尼·卓明 基于导数的正则表达式歧义诊断。 (英语) Zbl 1379.68231号 Han,Yo-Sub(编辑)等,自动机的实现和应用。第21届国际会议,CIAA 2016,韩国首尔,2016年7月19日至22日。诉讼程序。查姆:施普林格(ISBN 978-3-319-40945-0/pbk;978-3-316-40946-7/电子书)。计算机科学9705260-272课堂讲稿(2016)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{K.Z.M.Lu},莱克特。注释计算。科学。9705260-272(2016年;Zbl 1379.68231) 全文: 内政部 arXiv公司
法哈德·奥萨夫;罗伊·戴克霍夫;城市,基督教 POSIX正则表达式派生词词法分析(proof pearl)。 (英语) Zbl 1478.68118号 Blanchette,Jasmin Christian(编辑)等,交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9807, 69-86 (2016).MSC公司:65年第68季度 2012年第68季度 68V20型 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{F.Ausaf}等人,Lect。注释计算。科学。9807,69-86(2016年;兹比尔1478.68118) 全文: 内政部 链接
安杰洛·博尔索蒂;卢卡·布雷维利里;克雷斯皮·雷吉齐,斯特凡诺;安杰洛·莫尔岑蒂 博客服务提供商:用于不明确正则表达式的分析工具。 (英语) Zbl 1465.68135号 Drewes,Frank(编辑),自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9223, 313-316 (2015).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Borsotti}等人,Lect。注释计算。科学。9223313--316(2015;Zbl 1465.68135) 全文: 内政部
马丁·伯格伦德;布林克·范德梅尔 关于正则表达式解析的语义。 (英语) Zbl 1465.68132号 Drewes,Frank(编辑),自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9223, 292-304 (2015).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}和\textit{B.van der Merwe},莱克特。注释计算。科学。9223、292--304(2015;Zbl 1465.68132) 全文: 内政部
安杰洛·博尔索蒂;卢卡·布雷维利里;克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano);安杰洛·莫尔岑蒂 从模糊正则表达式到确定性解析自动机。 (英语) Zbl 1465.68134号 Drewes,Frank(编辑),自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9223, 35-48 (2015).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Borsotti}等人,Lect。注释计算。科学。9223,35-48(2015年;兹比尔1465.68134) 全文: 内政部 链接
玉藤樱;Minamide、Yasuhiko;安德烈·沃伦科夫 将正则表达式匹配转换为转换器。 (英语) 兹比尔1238.68052 J.应用。日志。 10,第1期,32-51(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sakuma}等人,J.应用。日志。10,编号1,32--51(2012;Zbl 1238.68052) 全文: 内政部
佐藤奥奎;铃木、芋头 通过带有增强转换的位置自动机消除正则表达式匹配中的歧义。 (英语) Zbl 1297.68160号 Domaratzki,Michael(编辑)等人,《自动机的实现和应用》。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482231-240(2011)。MSC公司:65年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{S.Okui}和\textit{T.Suzuki},莱克托。注释计算。科学。6482、231--240(2011年;Zbl 1297.68160) 全文: 内政部
萨缪尔·卡皮内蒂;科西莫·拉内夫;卢卡·帕多瓦尼 PiDuce-一个试验web服务技术的项目。 (英语) Zbl 1194.68077号 科学。计算。程序。 74,第10期,777-811(2009).MSC公司:68英里11 68甲15 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Carpineti}等人,科学。计算。程序。74,第10号,777--811(2009;Zbl 1194.68077) 全文: 内政部 链接
铃木、芋头;佐藤奥奎 对冲模式偏导数。 (英语) Zbl 1248.68317号 Maneth,Sebastian(编辑),自动机的实现和应用。第14届国际会议,CIAA 2009,澳大利亚悉尼,2009年7月14日至17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02978-3/pbk)。计算机科学课堂讲稿5642125-134(2009)。MSC公司:第68季度55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.铃木}和\textit{S.Okui},莱克特。注释计算。科学。5642、125--134(2009年;Zbl 1248.68317) 全文: 内政部
斯科特·欧文斯;康拉德·斯林德 使功能程序适应高阶逻辑。 (英语) 兹比尔1175.68103 高-订单符号。计算。 21,第4期,377-409(2008).MSC公司:68甲18 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Owens}和\textit{K.Slind},高-订购符号。计算。21,第4号,377--409(2008;Zbl 1175.68103) 全文: 内政部