-
1
-
-
0001680003
-
Zum Hilbershen Aufbau der reellen Zahlen
-
Ackermann, W Zum Hilbershen Aufbau der reellen Zahlen. Math. Ann 99 (1928), 118-133.
-
(1928)
Math. Ann
, vol.99
, pp. 118-133
-
-
Ackermann, W.1
-
2
-
-
84975106025
-
-
Addison-Wesley, Reading, Mass.
-
Aho, A.V., Hopcroft, 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
Hopcroft, J.E.2
Ullman, J.D.3
-
3
-
-
0012583137
-
On computing least common ancestors in trees
-
Aho, A.V., Hopcroft, J.E., And Ullman, J.D. On computing least common ancestors in trees SIAM J. Comptng. 5(1976), 115-132.
-
(1976)
SIAM J. Comptng.
, vol.5
, pp. 115-132
-
-
Aho, A.V.1
Hopcroft, J.E.2
Ullman, J.D.3
-
4
-
-
0017267405
-
Node listings for reducible flow graphs
-
Aho, A V., And Ullman, J D. Node listings for reducible flow graphs. J Comptr Syst Sci. 13 (1976), 286-299.
-
(1976)
J Comptr Syst Sci.
, vol.13
, pp. 286-299
-
-
Aho, A.V.1
Ullman, J.D.2
-
5
-
-
84916877889
-
An algorithm for equivalence declarations
-
July
-
Arden, B.W., Galler, B A., And Graham, R.M. An algorithm for equivalence declarations. Comm. ACM 4, 7 (July 1961), 310-314.
-
(1961)
Comm. ACM
, vol.4
, Issue.7
, pp. 310-314
-
-
Arden, B.W.1
Galler, B.A.2
Graham, R.M.3
-
6
-
-
0000428085
-
Finding minimum spanning trees
-
Cheriton, D, AND Tarjan, R E Finding minimum spanning trees SIAM J Comptng.5 (1976), 724-742.
-
(1976)
SIAM J Comptng
, vol.5
, pp. 724-742
-
-
Cheriton, D.1
Tarjan, R.E.2
-
7
-
-
0010660720
-
Algorithms for updating minimal spanning trees
-
Chin, F Y, And Houck, D J Algorithms for updating minimal spanning trees. J. Compir Syst Sci 16 (1978), 333-344.
-
(1978)
J. Compir Syst Sci
, vol.16
, pp. 333-344
-
-
Chin, F.Y.1
Houck, D.J.2
-
8
-
-
0345894625
-
Selected combinatorial research problems STAN-CS-72-292
-
Stanford U, Stanford, Calif
-
Chvátal, V., Klarner, D.A., And Knuth, D E Selected combinatorial research problems STAN-CS-72-292, Comptr Sci Dept, Stanford U, Stanford, Calif, 1972.
-
(1972)
Comptr Sci Dept
-
-
Chvátal, V.1
Klarner, D.A.2
Knuth, D.E.3
-
9
-
-
84906714651
-
Efficient on-line evaluation of functions defined on paths in trees
-
Tech. Rep. 476-093-17, Rice U, Houston, Tex
-
Farrow, R Efficient on-line evaluation of functions defined on paths in trees. Tech. Rep. 476-093-17, Dept Math Sci, Rice U, Houston, Tex, 1977.
-
(1977)
Dept Math Sci
-
-
Farrow, R.1
-
10
-
-
2942553813
-
Efficiency of equivalence algorithms
-
R E Miller and J W Thatcher, Eds, Plenum Press, New York
-
Fischer, M J. Efficiency of equivalence algorithms. In Complexity of Computations, R E Miller and J W Thatcher, Eds, Plenum Press, New York, 1972, pp 153-168.
-
(1972)
Complexity of Computations
, pp. 153-168
-
-
Fischer, M.J.1
-
11
-
-
0016620182
-
Application of lattice algebra to loop optimization
-
Palo Alto, Calif
-
Fono, A., Kam, J, AND Ullman, J D Application of lattice algebra to loop optimization. Conf. Rec Second ACM Symp. Principles of Programming Languages, Palo Alto, Calif., 1975, pp 1-9.
-
(1975)
Conf. Rec Second ACM Symp. Principles of Programming Languages
, pp. 1-9
-
-
Fono, A.1
Kam, J.2
Ullman, J.D.3
-
12
-
-
84945709402
-
An improved equivalence algorithm
-
May
-
Galler, B A., And Fischer, M J An improved equivalence algorithm Comm. ACM 7, 5 (May 1964), 301-303.
-
(1964)
Comm. ACM 7
, vol.5
, pp. 301-303
-
-
Galler, B.A.1
Fischer, M.J.2
-
13
-
-
0016883652
-
A fast and usually linear algorithm for global flow analysis
-
Jan
-
Graham, S L, AND Wegman, M A fast and usually linear algorithm for global flow analysis. J. ACM 23, (Jan 1976), 172-202.
-
(1976)
J. ACM
, vol.23
, pp. 172-202
-
-
Graham, S.L.1
Wegman, M.2
-
18
-
-
0003316429
-
The Art of Computer Programming
-
Addison-Wesley, Reading, Mass.
-
Knuth, D E The Art of Computer Programming, Vol I. Fundamental Algorithms, Addison-Wesley, Reading, Mass., 1968.
-
(1968)
Fundamental Algorithms
-
-
Knuth, D.E.1
-
20
-
-
84976689278
-
Unpublished report, U
-
of Warwick, Conventry, England
-
Paterson, M Unpublished report, U. of Warwick, Conventry, England, 1972.
-
(1972)
-
-
Paterson, M.1
-
21
-
-
0001790593
-
Depth-first search and linear graph algorithms
-
Tarjan, R.E. Depth-first search and linear graph algorithms SIAM J. Comptng. 1(1972), 146-160.
-
(1972)
SIAM J. Comptng.
, vol.1
, pp. 146-160
-
-
Tarjan, R.E.1
-
22
-
-
0004947446
-
Finding dominators m directed graphs
-
Tarjan, R.E. Finding dominators m directed graphs. SIAM J. Comptng 5(1974), 62-89.
-
(1974)
SIAM J. Comptng
, vol.5
, pp. 62-89
-
-
Tarjan, R.E.1
-
23
-
-
0016309945
-
Testing flow graph reducibihty
-
Tarjan, R.E. Testing flow graph reducibihty J Comptr and Syst. Sci 9 (1974), 355-365.
-
(1974)
J Comptr and Syst. Sci
, vol.9
, pp. 355-365
-
-
Tarjan, R.E.1
-
24
-
-
0016495233
-
Efficiency of a good but not linear set union algorithm
-
April
-
Tarjan, R E Efficiency of a good but not linear set union algorithm J. ACM 22, 2 (April 1975), 215-225.
-
(1975)
J. ACM
, vol.22
, Issue.2
, pp. 215-225
-
-
Tarjan, R.E.1
-
25
-
-
84915582829
-
Applications of path compression on balanced trees
-
Tech Rep. STAN-CS-75-512, Stanford U, Stanford, Calif.
-
Tarjan, R E. Applications of path compression on balanced trees Tech Rep. STAN-CS-75-512, Comptr. Sci Dept, Stanford U, Stanford, Calif., 1975.
-
(1975)
Comptr. Sci Dept
-
-
Tarjan, R.E.1
-
26
-
-
84976818622
-
Solving path problems on directed graphs Tech Rep STAN-CS-75-528
-
Stanford U, Stanford, Calif
-
Tarjan, R.E. Solving path problems on directed graphs Tech Rep STAN-CS-75-528, Comptr. Sci. Dept, Stanford U, Stanford, Calif, 1975.
-
(1975)
Comptr. Sci. Dept
-
-
Tarjan, R.E.1
-
27
-
-
0347671144
-
Graph theory and Gaussian elimination
-
J R. Bunch and D.J. Rose, Eds., Academic Press, New York
-
Tarjan, R.E. Graph theory and Gaussian elimination In Sparse Matrix Computations, J R. Bunch and D.J. Rose, Eds., Academic Press, New York, 1976, pp. 3-22.
-
(1976)
Sparse Matrix Computations
, pp. 3-22
-
-
Tarjan, R.E.1
-
28
-
-
84976818943
-
A Class Of Algorithms Which Require Non-Linear Time To Maintain Disjoint Sets
-
To Appear
-
Tarjan, R E A Class Of Algorithms Which Require Non-Linear Time To Maintain Disjoint Sets To Appear In J. Comptr and Syst. Sci.
-
J. Comptr and Syst. Sci
-
-
Tarjan, R.E.1
-
29
-
-
0343695884
-
Complexity of monotone networks for computing conjunctions
-
Tarjan, R.E. Complexity of monotone networks for computing conjunctions Annals Discrete Math. 2 (1978), 121-133.
-
(1978)
Annals Discrete Math.
, vol.2
, pp. 121-133
-
-
Tarjan, R.E.1
-
30
-
-
0000067902
-
A fast algorithm for the elimination of common subexpressions
-
Ullman, J.D. A fast algorithm for the elimination of common subexpressions. Acta Informatica 2(1973), 191-213.
-
(1973)
Acta Informatica
, vol.2
, pp. 191-213
-
-
Ullman, J.D.1
-
31
-
-
0002260157
-
An 0(|E| log log |V|)algorithm for finding minimum spanning trees
-
Yao, A.C. An 0(|E| log log |V|)algorithm for finding minimum spanning trees. Inform. Processing Letters 4 (1975), 21-23.
-
(1975)
Inform. Processing Letters
, vol.4
, pp. 21-23
-
-
Yao, A.C.1
|