Results on the propositional μ-calculus
- Dexter Kozen
- 1983
- Theoretical Computer Science
Paper
Publications
9287 results for Computer Science
Distributed Network Protocols
- Adrian Segall
- Adrian Segall
- 1983
- IEEE Trans. Inf. Theory
PaperAlgorithms for Sliding Block Codes: An Application of Symbolic Dynamics to Information Theory
- Roy L. Adler
- Don Coppersmith
- et al.
- 1983
- IEEE Trans. Inf. Theory
PaperComments, Queries, and Debate
- C.J. Bashe
- 1983
- Annals of the History of Computing
PaperChest radiograph enhancement using the weighted unsharp mask
- P.H. Jackson
- G. Kaye
- 1989
- Proceedings of SPIE 1989
Conference paperImage enhancement of chest radiographs using local statistical information
- I. Kerr
- P. Lams
- 1989
- Proceedings of SPIE 1989
Conference paperLung function measurement by optical contouring
- A.R. Gourlay
- G. Kaye
- et al.
- 1989
- Proceedings of SPIE 1989
Conference paperDigital enhancement of pneumothoraces
- I. Kerr
- P. Lams
- 1989
- Proceedings of SPIE 1989
Conference paperFiber optics for high speed computer input/output channels
- J.D. Crow
- L. Comerford
- et al.
- 1989
- Proceedings of SPIE 1989
Conference paperON THE SUITABILITY OF ADA MULTITASKING FOR EXPRESSING PARALLEL ALGORITHMS
- Shaule Yamini
- 1982
- AdaTEC 1982
Conference paper