On the Complexity of Flowchart and Loop Program Schemes and Programming Languages.
A Shifting Algorithm for Min-Max Tree Partitioning.
On the Construction of Feedback Queries.
The Complexity of Maintaining an Array and Computing Its Partial Sums.
Pattern Matching in Trees.
A Sufficient Condition for Backtrack-Free Search.
Term Weighting in Information Retrieval Using the Term Precision Model.
Mechanical Discovery of Classes of Problem-Solving Strategies.
Relativized Questions Involving Probabilistic Algorithms.
Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable.
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database.
Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies.
Confluent and Other Types of Thue Systems.
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types.
Dense Hierarchies of Grammatical Families.
Nonmonotonic Logic II: Nonmonotonic Modal Theories.