Volume 29,
Number 1,
January 1982
- George W. Ernst, Michael M. Goldstein:
Mechanical Discovery of Classes of Problem-Solving Strategies.
1-23
Electronic Edition (ACM DL) BibTeX
- Eugene C. Freuder:
A Sufficient Condition for Backtrack-Free Search.
24-32
Electronic Edition BibTeX
- Drew V. McDermott:
Nonmonotonic Logic II: Nonmonotonic Modal Theories.
33-57
Electronic Edition BibTeX
- Ronald I. Becker, Stephen R. Schach, Yehoshua Perl:
A Shifting Algorithm for Min-Max Tree Partitioning.
58-67
Electronic Edition (ACM DL) BibTeX
- Christoph M. Hoffmann, Michael J. O'Donnell:
Pattern Matching in Trees.
68-95
Electronic Edition BibTeX
- Zvi Galil:
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database.
96-102
Electronic Edition BibTeX
- Yehoshua Sagiv, Scott F. Walecka:
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies.
103-117
Electronic Edition BibTeX
- Hermann A. Maurer, Arto Salomaa, Derick Wood:
Dense Hierarchies of Grammatical Families.
118-126
Electronic Edition (ACM DL) BibTeX
- D. Chow, Clement T. Yu:
On the Construction of Feedback Queries.
127-151
Electronic Edition BibTeX
- Clement T. Yu, K. Lam, Gerard Salton:
Term Weighting in Information Retrieval Using the Term Precision Model.
152-170
Electronic Edition BibTeX
- Ronald V. Book:
Confluent and Other Types of Thue Systems.
171-182
Electronic Edition (ACM DL) BibTeX
- James E. Burns, Paul Jackson, Nancy A. Lynch, Michael J. Fischer, Gary L. Peterson:
Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable.
183-205
Electronic Edition (ACM DL) BibTeX
- Hans-Dieter Ehrich:
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types.
206-227
Electronic Edition (ACM DL) BibTeX
- Harry B. Hunt III:
On the Complexity of Flowchart and Loop Program Schemes and Programming Languages.
228-249
Electronic Edition (ACM DL) BibTeX
- Michael L. Fredman:
The Complexity of Maintaining an Array and Computing Its Partial Sums.
250-260
Electronic Edition BibTeX
- Charles Rackoff:
Relativized Questions Involving Probabilistic Algorithms.
261-268
Electronic Edition (ACM DL) BibTeX
Volume 29,
Number 2,
April 1982
Volume 29,
Number 3,
July 1982
- Robert W. Floyd, Jeffrey D. Ullman:
The Compilation of Regular Expressions into Integrated Circuits.
603-622
Electronic Edition (ACM DL) BibTeX
- K. Takamizawa, Takao Nishizeki, Nobuji Saito:
Linear-time computability of combinatorial problems on series-parallel graphs.
623-641
Electronic Edition (ACM DL) BibTeX
- David Nassimi, Sartaj Sahni:
Parallel permutation and sorting algorithms and a new generalized connection network.
642-667
Electronic Edition (ACM DL) BibTeX
- Peter Honeyman:
Testing satisfaction of functional dependencies.
668-677
Electronic Edition BibTeX
- Seymour Ginsburg, Sami Mohammed Zaiddan:
Properties of functional-dependency families.
678-698
Electronic Edition BibTeX
- Anthony C. Klug:
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions.
699-717
Electronic Edition BibTeX
- Mihalis Yannakakis:
A Theory of Safe Locking Policies in Database Systems.
718-740
Electronic Edition BibTeX
- Dana Angluin:
Inference of Reversible Languages.
741-765
Electronic Edition (ACM DL) BibTeX
- Harold N. Gabow:
An Almost-Linear Algorithm for Two-Processor Scheduling.
766-780
Electronic Edition (ACM DL) BibTeX
- Errol L. Lloyd:
Critical Path Scheduling with Resource and Processor Constraints.
781-811
Electronic Edition (ACM DL) BibTeX
- Charles U. Martel:
Preemptive Scheduling with Release Times, Deadlines, and Due Times.
812-829
Electronic Edition (ACM DL) BibTeX
- Christopher L. Samelson, William G. Bulgren:
A Note on Product-Form Solution for Queuing Networks with Poisson Arrivals and General Service-Time Distributions with Finite Means.
830-840
Electronic Edition (ACM DL) BibTeX
- Krzysztof R. Apt, Maarten H. van Emden:
Contributions to the Theory of Logic Programming.
841-862
Electronic Edition BibTeX
- Eitan M. Gurari, Oscar H. Ibarra:
Two-Way Counter Machines and Diophantine Equations.
863-873
Electronic Edition BibTeX
- Mark Jerrum, Marc Snir:
Some Exact Complexity Results for Straight-Line Computations over Semirings.
874-897
Electronic Edition (ACM DL) BibTeX
- Andrew Chi-Chih Yao:
On Parallel Computation for the Knapsack Problem.
898-903
Electronic Edition (ACM DL) BibTeX
- Richard P. Brent, H. T. Kung:
Corrigendum: ``The Area-Time Complexity of Binary Multiplication''.
904
Electronic Edition (ACM DL) BibTeX
Volume 29,
Number 4,
October 1982
Copyright © Wed Jul 23 16:29:39 2008
by Michael Ley (ley@uni-trier.de)
