Transitive Closure Logic, Nested Tree Walking Automata, and XPath.
| Autor: | CATE, BALDER TEN1 btencate@ucsc.edu, SEGOUFIN, LUC2 luc.segoufin@inria.fr |
|---|---|
| Zdroj: | Journal of the ACM. Mar2010, Vol. 57 Issue 3, p18:1-18:41. 41p. 5 Diagrams, 2 Charts. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|