Record allocation for minimizing seek delay
- U.I. Gupta
- D.T. Lee
- et al.
- 1981
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
132 results at Theoretical Computer Science
More on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
An elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
On the total correctness of nondeterministic programs
- David Harel
- 1981
- Theoretical Computer Science
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- David Harel
- 1980
- Theoretical Computer Science
Indexings of subrecursive classes
- Dexter Kozen
- 1980
- Theoretical Computer Science
Parallelism and concurrency of graph manipulations
- Hartmut Ehrig
- Barry K. Rosen
- 1980
- Theoretical Computer Science
Uniform data encodings
- Arnold L. Rosenberg
- Larry J. Stockmeyer
- et al.
- 1980
- Theoretical Computer Science
Complexity of Boolean algebras
- Dexter Kozen
- 1980
- Theoretical Computer Science
On another Boolean matrix
- Nicholas Pippenger
- 1980
- Theoretical Computer Science