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
Hilfe
Suche: Journal=J. ACM AND YEAR=1982
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Mechanical discovery of classes of problem-solving strategies
G.W. Ernst
,
M.M. Goldstein
Journal of the ACM
29
(1), 1982, pp. 1-23
A sufficient condition for backtrack-free search
E.C. Freuder
Journal of the ACM
29
(1), 1982, pp. 24-32
Nonmonotonic logic II: Nonmonotonic modal theories
D. McDermott
Journal of the ACM
29
(1), 1982, pp. 33-57
A shifting algorithm for min-max tree partitioning
R.L. Becker
,
Y. Perl
,
S.R. Schach
Journal of the ACM
29
(1), 1982, pp. 58-67
Pattern matching in trees
C.M. Hoffmann
,
M.J. O'Donnell
Journal of the ACM
29
(1), 1982, pp. 68-95
An almost linear-time algorithm for computing a dependency basis in a relational database
Z. Galil
Journal of the ACM
29
(1), 1982, pp. 96-102
Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies
Y. Sagiv
,
S.F. Walecka
Journal of the ACM
29
(1), 1982, pp. 103-117
Dense hierarchies of grammatical families
H.A. Maurer
,
A. Salomaa
,
D. Wood
Journal of the ACM
29
(1), 1982, pp. 118-126
On the construction of feedback queries
D.K. Chow
,
C.T. Yu
Journal of the ACM
29
(1), 1982, pp. 127-151
Term weighting in informational retrieval using the term precision model
C.T. Yu
,
K. Lam
,
G. Salton
Journal of the ACM
29
(1), 1982, pp. 152-170
Confluent and other types of Thue systems
R.V. Book
Journal of the ACM
29
(1), 1982, pp. 171-182
Data requirements for implementation on
N
-process mutual exclusion using a single shared variable
J.E. Burns
,
P. Jackson
,
N.A. Lynch
,
M.J. Fischer
,
G.L. Peterson
Journal of the ACM
29
(1), 1982, pp. 183-205
On the theory of specification, implementation and parametrization of abstract data types
H.-D. Ehrich
Journal of the ACM
29
(1), 1982, pp. 206-227
On the complexity of flowchart and loop program schemes and programming languages
H.B. Hunt III
Journal of the ACM
29
(1), 1982, pp. 228-249
The complexity of maintaining an array and computing its partial sums
M.L. Fredman
Journal of the ACM
29
(1), 1982, pp. 250-260
Relativized questions involving probabilistic algorithms
C. Rackoff
Journal of the ACM
29
(1), 1982, pp. 261-268
Generation and verification of finite models and counterexamples using an automated theorem prover answering two open questions
S. Winker
Journal of the ACM
29
(2), 1982, pp. 273-284
The complexity of restricted spanning tree problems
C.H. Papadimitriou
,
M. Yannakakis
Journal of the ACM
29
(2), 1982, pp. 285-309
On database logic
B.E. Jacobs
Journal of the ACM
29
(2), 1982, pp. 310-332
On the equivalence of database models
Y.E. Lien
Journal of the ACM
29
(2), 1982, pp. 333-362
Template dependencies: A large class of dependencies in relational databases and its complete axiomatization
F. Sadri
,
J.D. Ullman
Journal of the ACM
29
(2), 1982, pp. 363-372
A complete axiomatization of full join dependencies
E. Sciore
Journal of the ACM
29
(2), 1982, pp. 373-393
Useless actions make a difference: Strict serializability of database updates
R. Sethi
Journal of the ACM
29
(2), 1982, pp. 394-403
A generalization of Ogden's lemma
C. Bader
,
A. Moura
Journal of the ACM
29
(2), 1982, pp. 404-407
Upper bounds for speedup in parallel parsing
J. Cohen
,
T. Hickey
,
J. Katcoff
Journal of the ACM
29
(2), 1982, pp. 408-428
Seiten 1
2
3
>