共 50 条
- [1] AXIOMATIZING HYBRID XPATH WITH DATA [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (03) : 5:1 - 5:37
- [2] Tableaux for Hybrid XPath with Data [J]. PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), 2017, 10423 : 611 - 623
- [5] Generating XML Data for XPath Queries [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 724 - 731
- [6] An extension of data automata that captures XPath [J]. 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 243 - 252
- [7] Satisfiability of Downward XPath with Data Equality Tests [J]. PODS'09: PROCEEDINGS OF THE TWENTY-EIGHTH ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2009, : 197 - 206
- [8] Evolution of XPath Lists for Document Data Selection [J]. PARALLEL PROBLEM SOLVING FROM NATURE-PPSN XI, PT II, 2010, 6239 : 341 - 350
- [9] XPathMark: An XPath benchmark for the XMark generated data [J]. DATABASE AND XML TECHNOLOGIES, PROCEEDINGS, 2005, 3671 : 129 - 143