Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- David Harel
- 1980
- Theoretical Computer Science
Publications
9066 results for Computer Science
The complexity of logical theories
- Leonard Berman
- 1980
- Theoretical Computer Science
A functional relation and an acceleration procedure for calculating the voltage response of josephson junctions
- W.L Miranker
- K. Bu
- 1980
- Journal of Computational Physics
Indexings of subrecursive classes
- Dexter Kozen
- 1980
- Theoretical Computer Science
On another Boolean matrix
- Nicholas Pippenger
- 1980
- Theoretical Computer Science
A new permutation algorithm for bubble memories
- K.M. Chung
- F. Luccio
- et al.
- 1980
- Information Processing Letters
Generation of node lists using segment analysis
- Aspi B. Wadia
- 1980
- Computer Languages
Finite difference solution of the Cosserat fluid jet equations
- D.B. Bogy
- S.J. Shine
- et al.
- 1980
- Journal of Computational Physics
Minimum number of steps for permutation in a bubble memory
- K.M. Chung
- F. Luccio
- et al.
- 1980
- Information Processing Letters
Integration of algorithmic aids into decision support systems
- L.C. Barbosa
- R. Hirko
- 1980
- MIS Quarterly: Management Information Systems