-
1
-
-
0024683975
-
Two Applications of Inductive Counting for Complementation Problems
-
A. Borodin, S. A. Cook, P. W. Dymond, W. L. Ruzzo, and M. Tompa. "Two Applications of Inductive Counting for Complementation Problems". SIAM Journal of Computing, 18:559-578, 1989.
-
(1989)
SIAM Journal of Computing
, vol.18
, pp. 559-578
-
-
Borodin, A.1
Cook, S.A.2
Dymond, P.W.3
Ruzzo, W.L.4
Tompa, M.5
-
2
-
-
0009632171
-
Problems Complete for Deterministic Logarithmic Space
-
S. A. Cook and P. McKenzie. "Problems Complete for Deterministic Logarithmic Space". J. Algorithms, 8:385-394, 1987.
-
(1987)
J. Algorithms
, vol.8
, pp. 385-394
-
-
Cook, S.A.1
McKenzie, P.2
-
3
-
-
0005410645
-
Efficient Algorithms for Processing XPath Queries
-
Hong Kong, China, Aug.
-
G. Gottlob, C. Koch, and R. Pichler. "Efficient Algorithms for Processing XPath Queries". In Proceedings of the 28th International Conference on Very Large Data Bases (VLDB'02), Hong Kong, China, Aug. 2002.
-
(2002)
Proceedings of the 28th International Conference on Very Large Data Bases (VLDB'02)
-
-
Gottlob, G.1
Koch, C.2
Pichler, R.3
-
4
-
-
0344065577
-
XPath Query Evaluation: Improving Time and Space Efficiency
-
Bangalore, India, Mar.
-
G. Gottlob, C. Koch, and R. Pichler. "XPath Query Evaluation: Improving Time and Space Efficiency". In Proceedings of the 19th IEEE International Conference on Data Engineering (ICDE'03), pages 379-390, Bangalore, India, Mar. 2003.
-
(2003)
Proceedings of the 19th IEEE International Conference on Data Engineering (ICDE'03)
, pp. 379-390
-
-
Gottlob, G.1
Koch, C.2
Pichler, R.3
-
6
-
-
0001951331
-
A Catalog of Complexity Classes
-
J. van Leeuwen, editor, chapter 2. Elsevier Science Publishers B.V.
-
D. S. Johnson. "A Catalog of Complexity Classes". In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume 1, chapter 2, pages 67-161. Elsevier Science Publishers B.V., 1990.
-
(1990)
Handbook of Theoretical Computer Science
, vol.1
, pp. 67-161
-
-
Johnson, D.S.1
-
9
-
-
0006925177
-
Time and Tape Bounded Auxiliary Pushdown Automata
-
Springer Verlag, LNCS 53
-
I. Sudborough. "Time and Tape Bounded Auxiliary Pushdown Automata". In Mathematical Foundations of Computer Science (MFCS'77), pages 493-503. Springer Verlag, LNCS 53, 1977.
-
(1977)
Mathematical Foundations of Computer Science (MFCS'77)
, pp. 493-503
-
-
Sudborough, I.1
-
12
-
-
0344379539
-
-
Draft paper
-
P. Wadler. "Two Semantics for XPath", 2000. Draft paper available at http://www.research.avayalabs.com/user/wadler/.
-
(2000)
Two Semantics for XPath
-
-
Wadler, P.1
-
14
-
-
1142282775
-
XQuery 1.0 and XPath 2.0 Formal Semantics
-
Aug. 16th 2002
-
World Wide Web Consortium. "XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Working Draft (Aug. 16th 2002), 2002. http://www.w3.org/TR/query-algebra/.
-
(2002)
W3C Working Draft
-
-
|