A model-theoretic analysis of knowledge: Preliminary report
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1984
- FOCS 1984
Conference paper
Publications
9268 results for Computer Science
Parallel communication with limited buffers
- Nicholas Pippenger
- 1984
- FOCS 1984
Conference paperFlipping coins in many pockets (byzantine agreement on uniformly random values)
- Andrei Z. Broder
- Danny Dolev
- 1984
- FOCS 1984
Conference paperAim-an automated inspection microscope for measuring critical dimensions
- Ronald J. LeMaster
- 1989
- Proceedings of SPIE 1989
Conference paperAnti satellite weapons
- Richard L. Garwin
- Andrew D. White
- 1989
- Proceedings of SPIE 1989
Conference paperTraining Wheels in a User Interface
- John M. Carroll
- Caroline Carrithers
- 1984
- CACM
PaperThe EAS-E application development system: Principles and language summary
- Harry M. Markowitz
- Ashok Malhotra
- et al.
- 1984
- CACM
PaperA note on lossless database decompositions
- Moshe Y. Vardi
- 1984
- Information Processing Letters
PaperLaser - assisted chemical etching
- F.A. Houle
- 1989
- Proceedings of SPIE 1989
Conference paperSpacetime representations of computational structures
- W.L. Miranker
- A. Winkler
- 1984
- Computing
Paper