文件大小：0.57 MB 18页
文档扳手的逻辑
作者
-
部分内容： 体积： 第20届国际数据库理论会议（ICDT 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 国际数据库理论会议 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-03-17
文件
文件标识符
引用为 获取BibTex
摘要
关键词
信息提取 文件扳手 单词方程式 正则表达式 描述复杂性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
P.Barceló和P.Muñoz。 有理关系的图形逻辑：单词组合的作用。 程序中。 CSL-LICS 2014年、2014年。 
-
J.-C.比吉特。 正则语言和状态复杂性的交集和联合。 通知。 过程。 莱特。， 43(4):185-190, 1992.
-
B.Carle和P.Narendran。 关于扩展正则表达式。 程序中。 LATA 2009年、2009年。
-
L.Ciobanu、V.Diekert和M.Elder。 自由群上方程的解集是EDT0L语言。 程序中。 ICALP 2015年、2015年。
-
埃琳娜·齐兹勒（Elena Czeizler）。 单词方程xyz=zvx的非参数化：一个简短的证明。 西奥。 计算。 科学。， 345(2-3):296-303, 2005.
-
V.Diekert。 马卡宁算法。 在M.Lothaire编辑的《单词代数组合学》第12章中。 剑桥大学出版社，2002年。
-
V.Diekert。 1700多年的文字方程式。 程序中。 CAI 2015年、2015年。
-
V.Diekert、A.Jeż和W.Plandowski。 用对合求自由群和幺半群中方程的所有解。 程序中。 中国南车2014年、2014年。
-
V.G.杜尔涅夫。 自由半群正定理的不可判定性。 同胞。 数学。 J.，36（5）：917-9291995年。
-
A.Ehrenfeucht和G.Rozenberg。EDT0L语言的泵定理。 技术报告，技术代表CU-CS-047-74，科罗拉多大学，1974年。
-
R.Fagin、B.Kimelfeld、F.Reiss和S.Vansummeren。 文档扳手：信息提取的正式方法。 J.ACM，62（2）：2015年12月。
-
D.D.Freydenberger和M.Holldack。 文档扳手：从表达能力到决策问题。 程序中。 2016年、2016年ICDT。
-
M.R.Garey和D.S.Johnson。 计算机与难治性。 W.H.Freeman and Company，1979年。
-
S.Ginsburg和E.H.Spanier。 有界正则集。 程序。 AMS，17（5）：1043-10491966年。
-
J.E.Hopcroft和J.D.Ullman。 自动机理论、语言和计算导论。 艾迪森·韦斯利，1979年。
-
L.伊利。 子词和无幂词不能用单词等式表示。 芬丹。 通知。， 38(1-2):109-118, 1999.
-
L.Ilie和W.Plandowski。 双变量单词方程式。 ITA，34（6）：467-5012000年。
-
J.Karhumäki、F.Mignosi和W.Plandowski。 语言和关系的表达能力。 美国医学杂志，47（3）：483-5052000。
-
J.Karhumäki、W.Plandowski和W.Rytter。 单词的广义分解及其算法属性。 西奥。 计算。 科学。， 218(1):123-133, 1999.
-
J.Karhumäki和A.Saarela。 对赫梅列夫斯基定理的分析和重述。 程序中。 DLT 2008年、2008年。
-
G.纳瓦罗。 引导您进行近似字符串匹配。 ACM计算。 调查。， 33(1):31-88, 2001.
-
D.Reidenbach和M.L.Schmid。 具有有界树宽的图案。 通知。 计算。， 239:87-92014年。
-
M.L.施密德。 通过配备因子引用的常规语言表征REGEX语言。 通知。 计算。， 2016年第249:1-17页。