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