Volume 40,
Number 1,
January 1993
- Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder:
An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time.
1-16
Electronic Edition (ACM DL) BibTeX
- Danny Dolev, Cynthia Dwork, Orli Waarts, Moti Yung:
Perfectly Secure Message Transmission.
17-47
Electronic Edition (ACM DL) BibTeX
- John D. Hobby:
Generating Automatically Tuned Bitmaps from Outlines.
48-94
Electronic Edition (ACM DL) BibTeX
- Leonard Pitt, Manfred K. Warmuth:
The Minimum Consistent DFA Problem Cannot be Approximated within any Polynomial.
95-142
Electronic Edition (ACM DL) BibTeX
- Robert Harper, Furio Honsell, Gordon D. Plotkin:
A Framework for Defining Logics.
143-184
Electronic Edition (ACM DL) BibTeX
- Dana Angluin, Lisa Hellerstein, Marek Karpinski:
Learning Read-Once Formulas with Queries.
185-210
Electronic Edition (ACM DL) BibTeX
Volume 40,
Number 2,
April 1993
Volume 40,
Number 3,
July 1993
- Don Coppersmith, Peter Doyle, Prabhakar Raghavan, Marc Snir:
Random Walks on Weighted Graphs and Applications to On-line Algorithms.
421-453
Electronic Edition (ACM DL) BibTeX
- Howard J. Karloff, Prabhakar Raghavan:
Randomized Algorithms and Pseudorandom Numbers.
454-476
Electronic Edition (ACM DL) BibTeX
- Franz Baader:
Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases.
477-503
Electronic Edition (ACM DL) BibTeX
- Neil V. Murray, Erik Rosenthal:
Dissolution: Making Paths Vanish.
504-535
Electronic Edition (ACM DL) BibTeX
- C. A. Johnson:
Factorization and Circuit in the Connection Method.
536-557
Electronic Edition (ACM DL) BibTeX
- Tie-Cheng Wang:
Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms.
558-606 BibTeX
- Nathan Linial, Yishay Mansour, Noam Nisan:
Constant Depth Circuits, Fourier Transform, and Learnability.
607-620
Electronic Edition (ACM DL) BibTeX
- Kurt Mehlhorn, Athanasios K. Tsakalidis:
Dynamic Interpolation Search.
621-634
Electronic Edition (ACM DL) BibTeX
- Marc J. van Kreveld, Mark H. Overmars:
Union-Copy Structures and Dynamic Segment Trees.
635-652
Electronic Edition (ACM DL) BibTeX
- Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop:
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.
653-682
Electronic Edition (ACM DL) BibTeX
- Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi:
Undecidable Optimization Problems for Database Logic Programs.
683-713
Electronic Edition BibTeX
- Randolph D. Nelson, Donald F. Towsley:
A Performance Evaluation of Several Priority Policies for Parallel Processing Systems.
714-740
Electronic Edition (ACM DL) BibTeX
- Sandeep N. Bhatt, Jin-yi Cai:
Taking Random Walks to Grow Trees in Hypercubes.
741-764
Electronic Edition (ACM DL) BibTeX
- Richard M. Karp, Yanjun Zhang:
Randomized Parallel Algorithms for Backtrack Search and Branch-and-Bound Computation.
765-789
Electronic Edition (ACM DL) BibTeX
Volume 40,
Number 4,
September 1993
- Edith Cohen, Nimrod Megiddo:
Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Periodic Graphs.
791-830
Electronic Edition (ACM DL) BibTeX
- Philip S. Yu, Daniel M. Dias, Stephen S. Lavenberg:
On the Analytical Modeling of Database Concurrency Control.
831-872
Electronic Edition BibTeX
- Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit:
Atomic Snapshots of Shared Memory.
873-890
Electronic Edition (ACM DL) BibTeX
- Foto N. Afrati, Christos H. Papadimitriou:
The Parallel Complexity of Simple Logic Programs.
891-916
Electronic Edition BibTeX
- Joseph Y. Halpern, Mark R. Tuttle:
Knowledge, Probability, and Adversaries.
917-962
Electronic Edition (ACM DL) BibTeX
- V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski:
Modal Nonmonotonic Logics: Ranges, Characterization, Computation.
963-990
Electronic Edition (ACM DL) BibTeX
Volume 40,
Number 5,
November 1993
- Edward G. Coffman Jr., M. R. Garey:
Proof of the 4/3 Conjecture for Preemptive vs. Nonpreemptive Two-Processor Scheduling.
991-1018
Electronic Edition (ACM DL) BibTeX
- Zhi-Quan Luo, John N. Tsitsiklis:
On the Communication Complexity of Distributed Algebraic Computation.
1019-1047
Electronic Edition (ACM DL) BibTeX
- Bruce Randall Donald, Patrick G. Xavier, John F. Canny, John H. Reif:
Kinodynamic Motion Planning.
1048-1066
Electronic Edition (ACM DL) BibTeX
- Y. C. Tay:
On the Optimality of Strategies for Multiple Joins.
1067-1086
Electronic Edition BibTeX
- Alan Fekete, Nancy A. Lynch, Yishay Mansour, John Spinelli:
The Impossibility of Implementing Reliable Communication in the Face of Crashes.
1087-1107
Electronic Edition (ACM DL) BibTeX
- Martin Charles Golumbic, Ron Shamir:
Complexity and Algorithms for Reasoning about Time: A Graph-Theoretic Approach.
1108-1133
Electronic Edition (ACM DL) BibTeX
- Stefan Arnborg, Bruno Courcelle, Andrzej Proskurowski, Detlef Seese:
An Algebraic Theory of Graph Reduction.
1134-1164
Electronic Edition (ACM DL) BibTeX
- Jean Fonlupt, Armand Nachef:
Dynamic Programming and the Graphical Traveling Salesman Problem.
1165-1187
Electronic Edition (ACM DL) BibTeX
- Alain Jean-Marie, Levent Gün:
Parallel Queues with Resequencing.
1188-1208
Electronic Edition (ACM DL) BibTeX
- François Baccelli, Zhen Liu, Donald F. Towsley:
Extremal Scheduling of Parallel Processing with and without Real-Time Constraints.
1209-1237
Electronic Edition (ACM DL) BibTeX
- Charles Knessl:
On the Sojourn Time Distribution in a Finite Capacity Processor Shared Queue.
1238-1301
Electronic Edition (ACM DL) BibTeX
Copyright © Sun May 17 00:05:50 2009
by Michael Ley (ley@uni-trier.de)
