Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Journal=J. ACM AND YEAR=1979
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Data flow analysis for procedural languages
B.K. Rosen
Journal of the ACM
26
, 1979, pp. 322-344
A purely homomorphic characterization of recursively enumerable sets
K. Culik II
Journal of the ACM
26
, 1979, pp. 345-350
A practical decision procedure for arithmetic with function symbols
R.E. Shostak
Journal of the ACM
26
, 1979, pp. 351-360
Relations among complexity measures
N. Pippenger
,
M.J. Fischer
Journal of the ACM
26
, 1979, pp. 361-384
Theorem proving by covering expressions
L.J. Henschen
Journal of the ACM
26
, 1979, pp. 385-400
Two algorithms for determining volumes of convex polyhedra
J. Cohen
,
T. Hickey
Journal of the ACM
26
, 1979, pp. 401-414
An optimal algorithm for finding the kernel of a polygon
D.T. Lee
,
F.P. Preparata
Journal of the ACM
26
, 1979, pp. 415-421
The tree-to-tree correction problem
K.-C. Tai
Journal of the ACM
26
, 1979, pp. 422-433
Significant improvements to the Hwang-Lin merging algorithm
G.K. Manacher
Journal of the ACM
26
, 1979, pp. 434-440
The Ford-Johnson sorting algorithm is not optimal
G.K. Manacher
Journal of the ACM
26
, 1979, pp. 441-456
Search within a page
H.R. Strong
,
G. Markowsky
,
A.K. Chandra
Journal of the ACM
26
, 1979, pp. 457-482
Some A-stable and L-stable methods for the numerical integration of stiff ordinary differential equations
T.D. Bui
Journal of the ACM
26
, 1979, pp. 483-493
Scaling for numerical stability in Gaussian elimination
R.D. Skeel
Journal of the ACM
26
, 1979, pp. 494-526
Maximal order and order of information for numerical quadrature
A.G. Werschulz
Journal of the ACM
26
, 1979, pp. 527-537
Approximation algorithms for some postman problems
G.N. Frederickson
Journal of the ACM
26
, 1979, pp. 538-554
A comparison of multilevel break and next statements
B.S. Baker
,
S.R. Kosaraju
Journal of the ACM
26
, 1979, pp. 555-566
An
NP
-complete number-theoretic problem
E.M. Gurari
,
O.H. Ibarra
Journal of the ACM
26
, 1979, pp. 567-581
Combining dimensionality and rate of growth arguments for establishing lower bounds on the number of multiplications and divisions
Z.M. Kedem
Journal of the ACM
26
, 1979, pp. 582-602
Linear algorithms for isomorphism of maximal outerplanar graphs
T. Beyer
,
W. Jones
,
S. Mitchell
Journal of the ACM
26
, 1979, pp. 603-610
A linear time planarity algorithm for 2-complexes
J.L. Gross
,
R.H. Rosen
Journal of the ACM
26
, 1979, pp. 611-617
The effect of a connectivity requirement on the complexity of maximum subgraph problems
M. Yannakakis
Journal of the ACM
26
, 1979, pp. 618-630
The serializability of concurrent database updates
C.H. Papadimitriou
Journal of the ACM
26
(4), 1979, pp. 631-653
Performance measures for ordered lists in random-access files
H. Mendelson
,
U. Yechiali
Journal of the ACM
26
, 1979, pp. 654-667
Encoding data structures in trees
A.L. Rosenberg
Journal of the ACM
26
, 1979, pp. 668-689
Improved trailing digits estimates applied to optimal computer arithmetic
J. Bustoz
,
A. Feldstein
,
R. Goodman
,
S. Linnainmaa
Journal of the ACM
26
, 1979, pp. 716-730
Seiten
<
1
2
3
>