Decidable classes of documents for XPath
暂无分享,去创建一个
[1] Bruno Courcelle. Graph Rewriting: A Bibliographical Guide , 1993, Term Rewriting.
[2] Diego Figueira,et al. Bottom-up automata on data trees and vertical XPath , 2011, STACS.
[3] S. Ginsburg,et al. Semigroups, Presburger formulas, and languages. , 1966 .
[4] Wenfei Fan,et al. Satisfiability of XPath Queries with Sibling Axes , 2005, DBPL.
[5] Michael Benedikt,et al. XPath leashed , 2009, CSUR.
[6] Slawomir Lasota,et al. An Extension of Data Automata that Captures XPath , 2010, LICS.
[7] Diego Figueira,et al. Decidability of Downward XPath , 2012, TOCL.
[8] Detlef Seese,et al. The Structure of Models of Decidable Monadic Theories of Graphs , 1991, Ann. Pure Appl. Log..
[9] Rohit Parikh,et al. On Context-Free Languages , 1966, JACM.
[10] A. Kasher. Review: Seymour Ginsburg, Edwin H. Spanier, Semigroups, Presburger Formulas, and Languages , 1969 .
[11] Floris Geerts,et al. XPath satisfiability in the presence of DTDs , 2008, JACM.