Volume 43,
Number 1,
10 August 1992
Volume 43,
Number 2,
24 August 1992
Volume 43,
Number 3,
14 September 1992
- Oege de Moor:
Inductive Data Types for Predicate Transformers.
113-117 BibTeX
- Sanjeev Saluja, K. V. Subrahmanyam:
On the Power of Enumerative Counting.
119-125 BibTeX
- Gerhard J. Woeginger:
Finding the Closest Extreme Vertex to a Fixed Point.
127-128 BibTeX
- Xiaoquing Liu, Junguk L. Kim:
An Effecient Parallel Sorting Algorithm.
129-133 BibTeX
- Thomas A. Henzinger:
Sooner is Safer Than Later.
135-141 BibTeX
- V. I. Galiev, A. F. Polupanov, Igor Shparlinski:
Distances from Differences of Roots of Polynomials to the Nearest Integers.
143-146 BibTeX
- Wojciech Penczek:
On Undecidability of Propositional Temporal Logics on Trace Systems.
147-153 BibTeX
- Michele Boreale, Paola Inverardi, Monica Nesi:
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences.
155-160 BibTeX
- Vassil S. Dimitrov, Todor Cooklev, B. D. Donevsky:
On the Multiplication of Reduced Biquaternions and Applications.
161-164 BibTeX
- Do-Hyung Kim, Kwang-Moo Choe:
Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model.
165 BibTeX
,
->IPL 40(4):
201-211 (25 November 1991)
- Boleslaw K. Szymanski, Balaram Sinharoy:
Corrigenda: Complexity of the Closest Vector Problem in a Lattice Generated by (0, 1)-Matrix.
167 BibTeX
,
->Inf. Process. Lett. 42(3): 121-126(1992) BibTeX
Volume 43,
Number 4,
28 September 1992
Volume 43,
Number 5,
5 October 1992
Volume 43,
Number 6,
19 October 1992
- Izidor Jerebic, Roman Trobec:
Optimal Routing in Toroidal Networks.
285-291 BibTeX
- Maw-Shang Chang, Fu-Hsing Wang:
Efficient Algorithms for the Maximum Weight Clique and Maximum Weight Independent Set Problems on Permutation Graphs.
293-295 BibTeX
- Sheng-Lung Peng, Maw-Shang Chang:
A Simple Linear Time Algorithm for the Domatic Partition Problem on Strongly Chordal Graphs.
297-300 BibTeX
- David Scholefield, Hussein S. M. Zedan:
Weakest Precondition Semantics for Time and Concurrency.
301-308 BibTeX
- Eliezer A. Albacea:
A Parallel Algorithm for Edge-Coloring of Graphs with Edge-Disjoint Cycles.
309-314 BibTeX
- Cheeha Kim, Jong-Sung Kim:
A Mean Value Analysis of the Ethernet Throughput.
315-320 BibTeX
- Jie Wang:
A Note on Two-Way Probabilistic Automata.
321-326 BibTeX
- Hanxiong Chen, Xu Yu, Kazunori Yamaguchi, Hiroyuki Kitagawa, Nobuo Ohbo, Yuzuru Fujiwara:
Decomposition - An Approach for Optimizing Queries Including ADT Functions.
327-333 BibTeX
- Torben Hagerup:
On a Compaction Theorem of Ragde.
335-340 BibTeX
Copyright © Wed Jul 23 16:29:08 2008
by Michael Ley (ley@uni-trier.de)
