Volume 38,
Number 1,
January 1991
Volume 38,
Number 2,
April 1991
- Esther M. Arkin, Christos H. Papadimitriou, Mihalis Yannakakis:
Modularity of Cycles and Paths in Graphs.
255-274
Electronic Edition (ACM DL) BibTeX
- David P. Dobkin, Subhash Suri:
Maintenance of Geometric Extrema.
275-298
Electronic Edition (ACM DL) BibTeX
- Randal E. Bryant:
A Methodology for Hardware Verification Based on Logic Simulation.
299-328
Electronic Edition (ACM DL) BibTeX
- Yannis E. Ioannidis, Eugene Wong:
Towards an Algebraic Theory of Recursion.
329-381
Electronic Edition (ACM DL) BibTeX
- Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Model-Theoretic Analysis of Knowledge.
382-428
Electronic Edition (ACM DL) BibTeX
- Nicholas Bambos, Jean C. Walrand:
On Stability and Performance of Parallel Processing Systems.
429-452
Electronic Edition (ACM DL) BibTeX
- Yishay Mansour, Baruch Schieber, Prasoon Tiwari:
A Lower Bound for Integer Greatest Common Divisor Computations.
453-471
Electronic Edition (ACM DL) BibTeX
- Anne Condon:
Space-Bounded Probabilistic Game Automata.
472-494
Electronic Edition (ACM DL) BibTeX
- Noga Alon, A. K. Dewdney, Teunis J. Ott:
Efficient Simulation of Finite Automata by Neural Nets.
495-514
Electronic Edition (ACM DL) BibTeX
Volume 38,
Number 3,
July 1991
- Frank Thomson Leighton:
Letter from the Editor.
515-515 BibTeX
- Mikhail J. Atallah, Danny Z. Chen, Hubert Wagener:
An Optimal Parallel Algorithm for the Visibility of a Simple Polygon from a Point.
516-533
Electronic Edition (ACM DL) BibTeX
- Tomasz Imielinski:
Abstraction in Query Processing.
534-558
Electronic Edition (ACM DL) BibTeX
- Jieh Hsiang, Michaël Rusinowitch:
Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.
559-587
Electronic Edition (ACM DL) BibTeX
- V. Wiktor Marek, Miroslaw Truszczynski:
Autoepistemic Logic.
588-619
Electronic Edition (ACM DL) BibTeX
- Allen Van Gelder, Kenneth A. Ross, John S. Schlipf:
The Well-Founded Semantics for General Logic Programs.
620-650
Electronic Edition (ACM DL) BibTeX
,
preliminary version:
PODS 1988:
221-230
- Maxime Crochemore, Dominique Perrin:
Two-Way String Matching.
651-675
Electronic Edition (ACM DL) BibTeX
- Keith W. Ross, David D. Yao:
Optimal Load Balancing and Scheduling in a Distributed Computer System.
676-690
Electronic Edition (ACM DL) BibTeX
- Oded Goldreich, Silvio Micali, Avi Wigderson:
Proofs that Yield Nothing But Their Validity for All Languages in NP Have Zero-Knowledge Proof Systems.
691-729
Electronic Edition (ACM DL) BibTeX
- Cüneyt M. Özveren, Alan S. Willsky, Panos J. Antsaklis:
Stability and Stabilizability of Discrete Event Dynamic Systems.
730-752
Electronic Edition (ACM DL) BibTeX
- Jacobo Torán:
Complexity Classes Defined by Counting Quantifiers.
753-774
Electronic Edition (ACM DL) BibTeX
Volume 38,
Number 4,
October 1991
- Bradley S. Stewart, Chelsea C. White III:
Multiobjective A*.
775-814
Electronic Edition (ACM DL) BibTeX
- Harold N. Gabow, Robert Endre Tarjan:
Faster Scaling Algorithms for General Graph-Matching Problems.
815-853
Electronic Edition (ACM DL) BibTeX
- Edward P. F. Chan, Héctor J. Hernández:
Independence-Reducible Database Schemes.
854-886
Electronic Edition (ACM DL) BibTeX
- Stephen L. Bloom, Zoltán Ésik:
Floyd-Hoare Logic in Iteration Theories.
887-934
Electronic Edition (ACM DL) BibTeX
- Joseph Y. Halpern, Yoav Shoham:
A Propositional Modal Logic of Time Intervals.
935-962
Electronic Edition (ACM DL) BibTeX
- Michael L. Tiomkin, Michael Kaminski:
Nonmonotonic Default Modal Logics.
963-984
Electronic Edition (ACM DL) BibTeX
- Egon Balas, Donald Miller, Joseph Pekny, Paolo Toth:
A Parallel Shortest Augmenting Path Algorithm for the Assignment Problem.
985-1004
Electronic Edition (ACM DL) BibTeX
- Paul Glasserman:
Structural Conditions for Perturbation Analysis of Queuing Systems.
1005-1025
Electronic Edition (ACM DL) BibTeX
- Bonnie Berger, John Rompel:
Simulating (log c n)-Wise Independence in NC.
1026-1046
Electronic Edition (ACM DL) BibTeX
Copyright © Sun May 17 00:05:49 2009
by Michael Ley (ley@uni-trier.de)