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