Volume 24,
Number 1,
January 1987
- Athanasios Alexandrakis, Symeon Bozapalidis:
Weighted Grammars and Kleene's Theorem.
1-4
- Stuart A. Kurtz, Michael J. O'Donnell, James S. Royer:
How to Prove Representation-Independent Independence Results.
5-10
- W. H. J. Feijen, A. J. M. van Gasteren, David Gries:
In-situ Inversion of a Cyclic Permutation.
11-14
- Taenam Kim, Kyung-Yong Chwa:
An O(n log n log log n) Parallel Maximum Matching Algorithm for Bipartite Graphs.
15-17
- Peter H. Hochschild:
Multiple Cuts, Input Repetition, and VLSI Complexity.
19-24
- Raphael A. Finkel, Hari Madduri:
An Efficient Deadlock Avoidance Algorithm.
25-30
- Masataka Sassa, Harushi Ishizuka, Ikuo Nakata:
ECLR-Attributed Grammars: A Practical Class of LR-Attributed Grammars.
31-41
- Arthur J. Bernstein:
Predicate Transfer and Timeout in Message Passing Systems.
43-52
- Richard S. Bird, John Hughes:
The alpha-beta Algorithm: An Exercise in Program Transformation.
53-57
- Toshitsugu Yuba, Mamoru Hoshi:
Binary Search Networks: A New Method for Key Searching.
59-65
- Vikraman Arvind, Somenath Biswas:
An O(n²) Algorithm for the Satisfiability Problem of a Subset of Propositional Sentences in CNF That Includes All Horn Sentences.
67-69
Volume 24,
Number 2,
January 1987
Volume 24,
Number 3,
February 1987
Volume 24,
Number 4,
March 1987
Volume 24,
Number 5,
March 1987
- Klaus Madlener, Friedrich Otto:
Using String-Rewriting for Solving the Word Problem for Finitely Presented Groups.
281-284
- Takao Asano, Tetsuo Asano, Hiroshi Imai:
Shortest Path Between Two Simple Polygons.
285-288
- M. D. Atkinson, H. W. Chang:
Computing the Number of Mergings with Constraints.
289-292
- Cyrus Hazari, Hussein Zedan:
A Distributed Algorithm for Distributed Termination.
293-297
- Gregers Koch:
Automating the Semantic Component.
299-305 @Article{Hirschberg:
1987:
IUA,
- Daniel S. Hirschberg, Dennis J. Volper:
Improved Update/Query Algorithms for the Interval Valuation Problem.
307-310
- Ernest J. H. Chang, Gaston H. Gonnet, Doron Rotem:
On the Costs of Self-Stabilization.
311-316
- Mark Valentine, Robert H. Davis:
The Automated Solution of Logic Puzzles.
317-324
- Marek Chrobak, Wojciech Rytter:
Remarks on String-Matching and One-Way Multihead Automata.
325-329
- Robert D. Tennent:
A Note on Undefined Expression Values in Programming Logics.
331-333
- Peter Widmayer, Derick Wood:
Time- and Space-Optimal Contour Computation for a Set of Rectangles.
335-338
- Michael B. Dillencourt:
Traveling Salesman Cycles are not Always Subgraphs of Delaunay Triangulations or of Minimum Weight Triangulations.
339-342
- Richard Kennaway, M. Ronan Sleep:
Variable Abstraction in O(n log n) Space.
343-349
Volume 24,
Number 6,
April 1987
Copyright © Sat Nov 28 22:30:27 2009
by Michael Ley (ley@uni-trier.de)
