Journal of the ACM (JACM)


Search Issue
enter search term and/or author name


Journal of the ACM (JACM), Volume 29 Issue 1, Jan. 1982

Mechanical Discovery of Classes of Problem-Solving Strategies
George W. Ernst, Michael M. Goldstein
Pages: 1-23
DOI: 10.1145/322290.322291

A Sufficient Condition for Backtrack-Free Search
Eugene C. Freuder
Pages: 24-32
DOI: 10.1145/322290.322292

Nonmonotonic Logic II: Nonmonotonic Modal Theories
Drew McDermott
Pages: 33-57
DOI: 10.1145/322290.322293

A Shifting Algorithm for Min-Max Tree Partitioning
Ronald I. Becker, Stephen R. Schach, Yehoshua Perl
Pages: 58-67
DOI: 10.1145/322290.322294

Pattern Matching in Trees
Christoph M. Hoffmann, Michael J. O'Donnell
Pages: 68-95
DOI: 10.1145/322290.322295

An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Zvi Galil
Pages: 96-102
DOI: 10.1145/322290.322296

Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
Yehoshua Sagiv, Scott F. Walecka
Pages: 103-117
DOI: 10.1145/322290.322297

Dense Hierarchies of Grammatical Families
H. A. Maurer, A. Salomaa, D. Wood
Pages: 118-126
DOI: 10.1145/322290.322298

On the Construction of Feedback Queries
D. Chow, C. T. Yu
Pages: 127-151
DOI: 10.1145/322290.322299

Term Weighting in Information Retrieval Using the Term Precision Model
C. T. Yu, K. Lam, G. Salton
Pages: 152-170
DOI: 10.1145/322290.322300

Confluent and Other Types of Thue Systems
Ronald V. Book
Pages: 171-182
DOI: 10.1145/322290.322301

Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable
James E. Burns, Paul Jackson, Nancy A. Lynch, Michael J. Fischer, Gary L. Peterson
Pages: 183-205
DOI: 10.1145/322290.322302

On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
H.-D. Ehrich
Pages: 206-227
DOI: 10.1145/322290.322303

On the Complexity of Flowchart and Loop Program Schemes and Programming Languages
H. B. Hunt, III
Pages: 228-249
DOI: 10.1145/322290.322304

The Complexity of Maintaining an Array and Computing Its Partial Sums
Michael L. Fredman
Pages: 250-260
DOI: 10.1145/322290.322305

Relativized Questions Involving Probabilistic Algorithms
Charles Rackoff
Pages: 261-268
DOI: 10.1145/322290.322306