Volume 33, Number 1, January 1986
export record as
dblp key:
export record as
dblp key:
journals/jacm/MehlhornP86 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jacm/LubachevskyM86 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jacm/LiefvoortL86 export record as
dblp key:
David Harel :
Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness.
224-248
Volume 33, Number 2, April 1986
export record as
dblp key:
journals/jacm/DigricoliH86 export record as
dblp key:
export record as
dblp key:
Leslie Lamport :
The mutual exclusion problem: part I - a theory of interprocess communication.
313-326
export record as
dblp key:
Leslie Lamport :
The mutual exclusion problem: partII - statement and solutions.
327-348
export record as
dblp key:
Raymond Reiter :
A sound and sometimes complete query evaluation algorithm for relational databases with null values.
349-370
export record as
dblp key:
journals/jacm/FlajoletP86
Volume 33, Number 3, July 1986
export record as
dblp key:
journals/jacm/AbiteboulG86 export record as
dblp key:
export record as
dblp key:
Francis Y. L. Chin :
Security problems on inference control for SUM, MAX, and MIN queries.
451-464
export record as
dblp key:
journals/jacm/GinsburgH86 export record as
dblp key:
Luc Devroye :
A note on the height of binary search trees.
489-498
export record as
dblp key:
journals/jacm/DolevLPSW86 export record as
dblp key:
journals/jacm/ColemanEG86 export record as
dblp key:
journals/jacm/HochbaumS86 export record as
dblp key:
Samar Singh :
Improved methods for storing and updating information in the out-of-kilter algorithm.
551-567
export record as
dblp key:
export record as
dblp key:
journals/jacm/TsitsiklisPH86 export record as
dblp key:
journals/jacm/BalcazarBS86 export record as
dblp key:
Volume 33, Number 4, October 1986
export record as
dblp key:
journals/jacm/Champeaux86 Dennis de Champeaux :
Subproblem finder and instance checker, two cooperating modules for theorem provers.
633-657
export record as
dblp key:
W. Eric L. Grimson :
The combinatorics of local constraints in model-based recognition and localization from sparse data.
658-686
export record as
dblp key:
journals/jacm/Ramachandran86 export record as
dblp key:
journals/jacm/ChaudhuriR86 export record as
dblp key:
journals/jacm/CollingsH86 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jacm/GoldreichGM86 export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
