Finite-model theory - a personal perspective
- 1993
- Theoretical Computer Science
Publications
9081 results for Computer Science
PARADIGM: A compiler for automatic data distribution on multicomputers
- Manish Gupta
- Prithviraj Banerjee
- 1993
- ICS 1993
State representation tradeoffs in Markov chains of serialization delays in computer systems
- Alexander Thomasian
- Behzad Nadji
- 1993
- CSSE
Fully-scaled 0.25-micron bipolar technology using variable shaped electron-beam lithography
- Philip J. Coane
- Kaolin G. Chiong
- et al.
- 1993
- Microlithography 1993
Mixed e-beam/optical lithography process for the fabrication of sub-0.25-μm poly gates
- Keith T. Kwietniak
- Michael G. Rosenfield
- et al.
- 1993
- Microlithography 1993
Photoresist process latitude optimization for synchrotron x-ray lithography
- Andrew T. Pomerene
- David E. Seeger
- et al.
- 1993
- Microlithography 1993
Process latitude study of focused ion-beam-deposited gold for clear x-ray mask repair
- Patricia G. Blauner
- Andrew D. Dubner
- et al.
- 1993
- Microlithography 1993
A unification-based parser for relational Grammar
- David E. Johnson
- Adam Meyers
- et al.
- 1993
- ACL 1993
Towards history-based Grammars: Using richer models for probabilistic parsing
- Ezra Black
- Fred Jelinek
- et al.
- 1993
- ACL 1993
Generation of tunable, fcintosecond-tiinc-scale, vuv pulses by four-wave difference-frequency mixing in xenon
- J.H. Glownia
- D.R. Gnass
- et al.
- 1993
- SPIE OE/LASE 1993