爱荷华州博内娃;约阿希姆·尼伦;莫马尔·萨霍 具有约束上下文变量的压缩树模式的常规匹配和包含。 (英文) Zbl 1487.68141号 Inf.计算。 286,文章ID 104776,25 p.(2022).MSC公司:65年第68季度 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Boneva}等人,《信息计算》。286,文章ID 104776,25 p.(2022;Zbl 1487.68141) 全文: 内政部 链接
曼弗雷德·施密特·沙乌;特穆尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 高阶表达式与递归let的名义统一与匹配。 (英文) Zbl 07527238号 芬达姆。通知。 185,编号3,247-283(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Fundam。通知。185,第3号,247--283(2022;Zbl 07527238) 全文: 内政部 arXiv公司
卡瑟尔·凯特琳;亨宁费尔瑙;塞尔盖·加斯佩斯;本杰明·格拉斯;马库斯·施密德。 关于固定字母表上最小语法问题的复杂性。 (英文) Zbl 1464.68100号 理论计算。系统。 65,编号2,344-409(2021).MSC公司:68页30 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Casel}等人,《理论计算》。系统。65,编号2,344--409(2021;Zbl 1464.68100) 全文: 内政部
马库斯·洛伊;塞巴斯蒂安·马内思 常规树语言的最大公共前缀。 (英文) Zbl 1477.68158号 J.计算。系统。科学。 115, 235-245 (2021). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}和\textit{S.Maneth},J.Compute。系统。科学。115235-245(2021年;Zbl 1477.68158) 全文: 内政部
塞巴斯蒂安·马内思;费边·佩特内克 有界秩的文法压缩图的常延迟遍历。 (英文) Zbl 1446.68044号 Inf.计算。 273,文章ID 104520,19 p.(2020).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Maneth}和\textit{F.Peternek},Inf.Compute。273,文章ID 104520,19 p.(2020;Zbl 1446.68044) 全文: 内政部 arXiv公司
阿德里亚·加斯科恩;马库斯·洛伊;塞巴斯蒂安·马内思;卡尔·菲利普·雷;库尔特·西伯 基于语法的未排序树压缩。 (英文) Zbl 1434.68129号 理论计算。系统。 64,第1期,第141-176页(2020年).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人,《理论计算》。系统。64,编号141-176(2020;兹bl 1434.68129) 全文: 内政部 arXiv公司
曼弗雷德·施密特·沙乌 压缩项的线性模式匹配和多项式重写。 (英文) Zbl 1398.68283号 数学。结构。计算。科学。 28,第8期,1415-1450(2018).MSC公司:2012年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß},数学。结构。计算。科学。28,编号8,1415-1450(2018;兹bl 1398.68283) 全文: 内政部
马库斯·洛伊;塞巴斯蒂安·马内思;卡尔·菲利普·雷 语法压缩树的恒定时间树遍历和子树相等性检查。 (英文) Zbl 1392.68185号 算法 80,第7号,2082-2105(2018).MSC公司:68页30 68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人,Algorithmica 80,No.7,2082--2105(2018;Zbl 1392.68185) 全文: 内政部
约斯特·恩格尔弗里特;安德烈亚斯·马莱蒂;塞巴斯蒂安·马内思 多重无上下文树语法:词汇化和特征化。 (英文) Zbl 1395.68163号 西奥。计算。科学。 728, 29-99 (2018).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,Theor。计算。科学。728,29-99(2018;Zbl 1395.68163) 全文: 内政部 arXiv公司
摩西·加纳迪;哈克,丹尼;马库斯·洛伊;不,埃里克 使用字符串语法的树压缩。 (英文) Zbl 1384.68016号 算法 80,第3期,885-917(2018).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人,Algorithmica 80,No.3,885--917(2018;Zbl 1384.68016) 全文: 内政部 arXiv公司
摩西·加纳迪;哈克,丹尼;杰·阿图尔;马库斯·洛伊;不,埃里克 为公式构造小树文法和小电路。 (英文) Zbl 1370.68061号 J.计算。系统。科学。 86136-158(2017).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人,J.Compute。系统。科学。86、136--158(2017年;Zbl 1370.68061) 全文: 内政部 arXiv公司 链接
杰·阿图尔;马库斯·洛伊 最小线性树文法的近似。 (英文) Zbl 1353.68154号 Inf.计算。 251, 215-251 (2016).MSC公司:2012年第68季度 68页30 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{M.Lohrey},Inf.Compute。251、215——251(2016年;Zbl 1353.68154) 全文: 内政部
米雷尔·布斯克特·梅卢;马库斯·洛伊;塞巴斯蒂安·马内思;不,埃里克 通过有向非循环图进行XML压缩。 (英文) Zbl 1352.68079号 理论计算。系统。 57,第4期,1322-1371(2015).MSC公司:第68页,共15页 05C20号 68第05页 68页30 PDF格式BibTeX公司 XML格式引用 \文本{M.Bousquet-Mélou}等人,理论计算。系统。57,第4号,1322--1371(2015;Zbl 1352.68079) 全文: 内政部 arXiv公司 链接
法兰克·德雷维斯;约斯特·恩格尔弗里特 授权网络的生成能力。 (英文) Zbl 1337.68152号 Inf.计算。 245, 213-258 (2015). 审核人:马格努斯·斯坦比(图尔库) MSC公司:65年第68季度 2012年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}和\textit{J.Engelfriet},Inf.Compute。245213-258(2015;Zbl 1337.68152) 全文: 内政部
马库斯·洛伊 基于语法的树压缩。 (英文) Zbl 1434.68130号 Potapov,Igor(编辑),语言理论的发展。第19届国际会议,DLT 2015,英国利物浦,2015年7月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9168, 46-57 (2015).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey},莱克特。注释计算。科学。9168、46-57(2015年;Zbl 1434.68130) 全文: 内政部 链接
马库斯·洛伊;塞巴斯蒂安·马内思;费边·佩特内克 压缩树标准化。 (英文) Zbl 1440.68148号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135,337-349(2015年)。MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人,Lect。注释计算。科学。9135337--349(2015;Zbl 1440.68148) 全文: 内政部 arXiv公司
Chang,Shan(掸邦);卢,李;刘晓强;宋慧;姚青松 RFID协议安全基准测试的漏洞感知图。 (英文) Zbl 1328.68023号 J.计算。系统。科学。 81,第6期,1027-1041(2015).MSC公司:68个M12 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chang}等人,J.Compute。系统。科学。81,编号61027-1041(2015;兹bl 1328.68023) 全文: 内政部