Volume 12,
1980
- Jeffrey M. Jaffe:
Efficient Scheduling of Tasks without Full Use of Processor Resources.
1-17
- N. Saheb-Djahromi:
CPO'S of Measures for Nondeterminism.
19-37
- Józef Winkowski:
Behaviours of Concurrent Systems.
39-60
- David Harel:
Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic.
61-81
- Giorgio Ausiello, Alberto Marchetti-Spaccamela, Marco Protasi:
Toward a Unified Approach for the Classification of NP-Complete Optimization Problems.
83-96
- Louis Monier:
Evaluation and Comparison of Two Efficient Probabilistic Primality Testing Algorithms.
97-108
- Maurice Mignotte:
Tests de Primalite.
109-117
- Philip W. Grant:
Some More Independence Results in Complexity Theory.
119-126
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On Ambiguity in E0L Systems.
127-134
- Hermann A. Maurer, Arto Salomaa, Derick Wood:
Synchronized E0L Forms.
135-159
- Dana Angluin:
On Counting Problems and the Polynomial-Time Hierarchy.
161-173
- Guy Cousineau:
An Algebraic Definition for Control Structures.
175-192
- John C. Beatty:
Two Iteration Theorems for the LL(k) Languages.
193-228
- Jerzy Tiuryn:
Unique Fixed Points Vs. Least Fixed Points.
229-254
- David P. Dobkin, J. Ian Munro:
Determining the Mode.
255-263
- Aravind K. Joshi, Leon S. Levy, Kang Yueh:
Local Constraints in Programming Languages Part I: Syntax.
265-290
- Derek C. Oppen:
Complexity, Convexity and Combinations of Theories.
291-302
- Leslie G. Valiant:
Negation can be Exponentially Powerful.
303-314
- J. Ian Munro, Mike Paterson:
Selection and Sorting with Limited Storage.
315-323
- Jean-Marie Boë, Aldo de Luca, Antonio Restivo:
Minimal Complete Sets of Words.
325-332
- John Gill, James Hunt, Janos Simon:
Deterministic Simulation of Tape-Bounded Probabilistic Turing Machine Transducers.
333-338
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On a Bound for the D0L Sequence Equivalence Problem.
339-342
Copyright © Fri Mar 12 17:33:05 2010
by Michael Ley (ley@uni-trier.de)
