Volume 63, Number 1-2, 1984
- Benjamin Arazi:
An Approach for Generating Different Types of Gray Codes.
1-10
- Yishai A. Feldman:
A Decidable Propositional Dynamic Logic with Explicit Probabilities.
11-38
- Richard Cole, Chee-Keng Yap:
Geometric Retrieval Problems.
39-57
- Paliath Narendran, Friedrich Otto, Karl Winklmann:
The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete.
58-66
- J. M. Robson:
Fast Probabilistic RAM Simulation of Single Tape Turing Machine Computations.
67-87
- A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Albert R. Meyer:
Can Message Buffers Be Axiomatized in Linear Temporal Logic?
88-112
- H. C. M. Kleijn, Martti Penttonen, Grzegorz Rozenberg, Kai Salomaa:
Direction Independent Context-Sensitive Grammars.
113-117
- David Harel, Dexter Kozen:
A Programming Language for the Inductive Sets, and Applications.
118-139
Volume 63, Number 3, 1984
Copyright © Mon Dec 7 20:16:24 2009
by Michael Ley (ley@uni-trier.de)
