Reasoning about Infinite Computations
- Moshh Vardi
- Pierre Wolper
- 1994
- Information and Computation
Paper
Publications
9296 results for Computer Science
Mass storage systems and applications
- Alan E. Bell
- 1994
- Photonics for Industrial Applications 1994
Conference paperVideo data retrieval in parallel disk arrays
- Philip S. Yu
- Ming-Syan Chen
- 1994
- Photonics for Industrial Applications 1994
Conference paperQuantitative charge spectrometer
- G.P. Gee
- L.B. Schein
- et al.
- 1994
- Journal of Imaging Science and Technology
PaperComparison of two manipulator designs for laparoscopic surgery
- J. Funda
- B.N. Eldridge
- et al.
- 1994
- Photonics for Industrial Applications 1994
Conference paperStatus and challenges of waveguide blue lasers
- William P. Risk
- 1994
- Optical Data Storage 1994
Conference paperModeling and design of tracking servo signals for 2X and 4X substrates
- Patrick Arnett
- 1994
- Optical Data Storage 1994
Conference paperExtending the compact disk format to high capacity for video applications
- Wayne I. Imaino
- Hal J. Rosen
- et al.
- 1994
- Optical Data Storage 1994
Conference paperA comparison of techniques for substrate birefringence measurement
- Raymond-Noel Kono
- Myung S. Jhon
- et al.
- 1994
- Optical Data Storage 1994
Conference paperMultilevel volumetric optical storage
- Kurt A. Rubin
- Hal J. Rosen
- et al.
- 1994
- Optical Data Storage 1994
Conference paper