-
1
-
-
0003415652
-
-
Addison-Wesley, Reading, Mass.]
-
AHO, A. V., HoPcaorrr, J. E., and ULLMAN, J. D. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass., 1974.]
-
(1974)
The Design and Analysis of Computer Algorithms
-
-
Aho, A.V.1
HoPcaorrr, J.E.2
Ullman, J.D.3
-
2
-
-
82455178332
-
-
STAN-CS-79-703, Dept. of Computer Science, Stanford Univ., Stanford, Calif.]
-
ASPVALL, B., and SHILOACH, Y. A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality. STAN-CS-79-703, Dept. of Computer Science, Stanford Univ., Stanford, Calif., 1979.]
-
(1979)
A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
-
-
Aspvall, B.1
Shiloach, Y.2
-
3
-
-
84976736962
-
-
Proceedings of the ACM SIGMOD International Conference on Management of Data (Washington, D.C., May 28-30). ACM, New York,]
-
BANCILHON, F., AND RAMAKRISHNAN, R. An amateur's introduction to recursive query processing strategies, in Proceedings of the ACM SIGMOD International Conference on Management of Data (Washington, D.C., May 28-30). ACM, New York, 1986, pp 16-52.]
-
(1986)
An amateur's introduction to recursive query processing strategies
, pp. 16-52
-
-
Bancilhon, F.1
Ramakrishnan, R.2
-
5
-
-
0018504528
-
Proving termination with multiset orderings
-
DERSHOWITZ, N., AND MANNA, Z. Proving termination with multiset orderings. Commun. ACM 22, 8 (1979), 465-476.]
-
(1979)
Commun. ACM
, vol.22
, Issue.8
, pp. 465-476
-
-
Dershowitz, N.1
Manna, Z.2
-
7
-
-
84945711277
-
-
Ed. American Mathematical Society, Providence, R.I.]
-
FISCHER, i. J., and RABIN, i.O. Super-exponential complexity of Presberger arithmetic. In Complexity of Computation, R. M. Karp, Ed. American Mathematical Society, Providence, R.I., 1974.]
-
(1974)
-
-
Fischer, I.J.1
Rabin, i.O.2
Karp, R.M.3
-
8
-
-
85027599451
-
-
In Proceedings of the 3rd International Conference on Logic Programming (London, England, July). Springer-Verlag, New York,]
-
MORRIS, K., ULLMAN, J. D., AND VAN GELDER, A. Design overview of the NAIL! system. In Proceedings of the 3rd International Conference on Logic Programming (London, England, July). Springer-Verlag, New York, 1986, pp. 554-568.]
-
(1986)
Design overview of the NAIL! system
, pp. 554-568
-
-
Morris, K.1
Ullman, J.D.2
Van Gelder, A.3
-
9
-
-
84911267349
-
-
Tech. Rep. TR83/6. Dept. of Computer Science, Univ. of Melbourne, Melbourne, Australia, i 983.]
-
NAISH, L. Automatic generation of control for logic programs. Tech. Rep. TR83/6. Dept. of Computer Science, Univ. of Melbourne, Melbourne, Australia, i 983.]
-
Automatic generation of control for logic programs
-
-
Naish, L.1
-
12
-
-
0019341812
-
-
Eds. IEEE, New York,]
-
ROSENKRANTZ, O. J., AND HUNT, H. B., III Processing conjunctive predicates and queries. In Proceedings of the 6th International Conference on Very Large Data Bases. F. Lochovsky and R. Taylor, Eds. IEEE, New York, 1980, pp. 64-72.]
-
(1980)
III Processing conjunctive predicates and queries
, pp. 64-72
-
-
Rosenkrantz, O.J.1
Hunt, H.B.2
Taylor, R.3
-
13
-
-
0038935439
-
-
STAN-CS-84-1009. Dept. of Computer Science, Stanford Univ., Stanford, Calif.]
-
SAGIV, Y., AND ULLMAN, J.O. Complexity of a top-down capture rule. STAN-CS-84-1009. Dept. of Computer Science, Stanford Univ., Stanford, Calif., 1984.]
-
(1984)
Complexity of a top-down capture rule
-
-
Sagiv, Y.1
Ullman, J.O.2
-
15
-
-
0001790593
-
Depth first search and linear graph algorithms
-
TARJAN, R.E. Depth first search and linear graph algorithms. SIAM J. Comput. 1, 2 (1972), 146-160.]
-
(1972)
SIAM J. Comput.
, vol.1
, Issue.2
, pp. 146-160
-
-
Tarjan, R.E.1
-
16
-
-
0022821456
-
-
IEEE, New York, i.]
-
TSUR, S., and ZANIOLO, C. LDL: A logic-based data-language, in Proceedings of the 12th International Conference on Very Large Data Bases (Kyoto, Japan).DL: A logic-based data-language, in Proceedings of the 12th International Conference on Very Large Data Bases (Kyoto, Japan). IEEE, New York, 1986, pp. 33-4 i.]
-
(1986)
LDL: A logic-based data-language, in Proceedings of the 12th International Conference on Very Large Data Bases (Kyoto, Japan).DL: A logic-based data-language, in Proceedings of the 12th International Conference on Very Large Data Bases (Kyoto, Japan).
, pp. 33-4
-
-
Tsur, S.1
Zaniolo, C.2
-
17
-
-
0022128534
-
Implementation of logical query languages for databases
-
(Sept.
-
ULLMAN, J.D. Implementation of logical query languages for databases. ACM Trans. Database Syst. 10, 3 (Sept. 1985), 289-321.]
-
(1985)
ACM Trans. Database Syst.
, vol.10
, Issue.3
, pp. 289-321
-
-
Ullman, J.D.1
-
18
-
-
84945711278
-
-
In Proceedings of the 12th 85-1046, Dept. of Computer Science, Stanford Univ., Stanford, Calif.]
-
ULLAMAN, J.D. Implementatioan of logical query language. In Proceedings of the 12th 85-1046, Dept. of Computer Science, Stanford Univ., Stanford, Calif., 1985.]
-
(1985)
Implementatioan of logical query language
-
-
Ullaman, J.D.1
-
19
-
-
0017013056
-
The semantics of predicate logic as a programming language
-
(Oct.
-
VAN EMDEN, M. H., AND KOWALSKI, R. The semantics of predicate logic as a programming language. J. ACM 23, 4 (Oct. 1976), 733-742.]
-
(1976)
J. ACM
, vol.23
, Issue.4
, pp. 733-742
-
-
Van Emden, M.H.1
Kowalski, R.2
|