戴,乔尔·D·。;丹尼尔·雷登巴赫 自由群中的无歧义内射态射。 (英语) Zbl 07629139号 Inf.计算。 289,A部分,文章ID 104946,23 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.D.Day}和\textit{D.Reidenbach},Inf.Compute。289,A部分,文章ID 104946,第23页(2022;Zbl 07629139) 全文: 内政部 OA许可证
高自远;泽纳布·马扎迪;里根·梅洛什;汉斯·乌尔里希·西蒙;桑德拉·齐勒斯 通过成员示例区分模式语言。 (英语) Zbl 1376.68072号 Inf.计算。 256, 348-371 (2017).MSC公司:68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Gao}等人,《信息计算》。256348--371(2017;Zbl 1376.68072) 全文: 内政部
马库斯·施密德。 通过配备因子引用的常规语言表征REGEX语言。 (英语) Zbl 1344.68130号 Inf.计算。 249, 1-17 (2016).MSC公司:65年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Schmid},信息计算。249,1-17(2016;Zbl 1344.68130) 全文: 内政部
亨宁费尔瑙;马库斯·施密德。 变量模式匹配:多元复杂性分析。 (英语) Zbl 1370.68124号 Inf.计算。 242, 287-305 (2015).MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}和\textit{M.L.Schmid},Inf.Compute。242、287--305(2015;Zbl 1370.68124) 全文: 内政部
丹尼尔·雷登巴赫;马库斯·施密德。 具有有界树宽的图案。 (英语) Zbl 1309.68123号 Inf.计算。 239, 87-99 (2014).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Reidenbach}和\textit{M.L.Schmid},Inf.Compute。239、87-99(2014年;Zbl 1309.68123) 全文: 内政部
约阿希姆·布雷默;多米尼克·D·弗雷登伯格。 变量数目有界的模式的包含问题。 (英语) 兹比尔1279.68134 Inf.计算。 220-221, 15-43 (2012).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bremer}和\textit{D.Freydenberger},Inf.Compute。220-221、15-43(2012年;Zbl 1279.68134) 全文: 内政部 链接
多米尼克·D·弗雷登伯格。;丹尼尔·雷登巴赫 关于模式决策问题的坏消息。 (英语) Zbl 1189.68071号 Inf.计算。 208,第1期,83-96(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Freydenberger}和\textit{D.Reidenbach},Inf.Comput。208,编号1,83--96(2010;Zbl 1189.68071) 全文: 内政部 链接