Volume 36,
Number 1,
1 October 1990
- Zhen Liu:
A Note on Graham's Bound.
1-5 BibTeX
- Wen-Huei Chen, Ching-Sung Lu, Elben R. Brozovsky, Jin-Tuu Wang:
An Optimization Technique for Protocol Conformance Testing Using Multiple Uio Sequences.
7-11 BibTeX
- Joanna Jedrzejowicz:
Infinite Hierarchy of Shuffle Expressions Over a Finite Alphabet.
13-17 BibTeX
- Haklin Kim:
Finding a Maximum Independent Set in a Permutation Graph.
19-23 BibTeX
- Frank Dederichs, Rainer Weber:
Safety and Liveness From a Methodological Point of View.
25-30 BibTeX
- Biing-Feng Wang, Gen-Huey Chen:
Two-Dimensional Processor Array with a Reconfigurable Bus System is at Least as Powerful as CRCW Model.
31-36 BibTeX
- Stanley Burris, John Lawrence:
Unification in Commutative Rings is Not Finitary.
37-38 BibTeX
- Malcolm C. Fields, Greg N. Frederickson:
A Faster Algorithm for the Maximum Weighted Tardiness Problem.
39-44 BibTeX
- Oded Goldreich, Erez Petrank:
The Best of Both Worlds: Guaranteeing Termination in Fast Randomized Byzantine Agreement Protocols.
45-49 BibTeX
- Ke Qiu, Henk Meijer:
A Note on Diameter of Acyclic Directed Hypercubes.
51-52 BibTeX
- Hans L. Bodlaender, Gerard Tel:
Bit-Optimal Election in Synchronous Rings.
53-56 BibTeX
Volume 36,
Number 2,
15 October 1990
Volume 36,
Number 3,
1 November 1990
Volume 36,
Number 4,
15 November 1990
Volume 36,
Number 5,
1 December 1990
Volume 36,
Number 6,
15 December 1990
- Subir Kumar Ghosh, Anil Maheshwari:
An Optimal Algorithm for Computing a Minimum Nested Nonconvex Polygon.
277-280 BibTeX
- Ferenc Kocsis, Johann F. Böhme:
Rotation-Based Computations for Ray-Tracing Second-Order Surfaces and Curves.
281-283 BibTeX
- Antonio Brogi, Evelina Lamma, Paola Mello:
Hypothetical Reasoning in Logic Programming: A Semantic Approach.
285-291 BibTeX
- Zoltán Fülöp, Sándor Vágvölgyi:
The Emptiness Problem is Undecidable for Domains of Partial Monadic 2-Modular Tree Transformations.
293-296 BibTeX
- Rob R. Hoogerwoord:
A Calculational Derivation of the Casop Algorithm.
297-299 BibTeX
- Gabriel Matsliach:
Performance Analysis of File Organizations that Use Multi-Bucket Data Leaves.
301-310 BibTeX
- Kai Salomaa, Sheng Yu:
The Immortality Problem for LAG Systems.
311-315 BibTeX
- Giuseppe Di Battista, Wei-Ping Liu, Ivan Rival:
Bipartite Graphs, Upward Drawings, and Planarity.
317-322 BibTeX
- Sung Kwon Kim:
Parallel Algorithms for the Segment Dragging Problem.
323-327 BibTeX
Copyright © Sun May 17 00:04:00 2009
by Michael Ley (ley@uni-trier.de)
