Results on the propositional μ-calculus
- Dexter Kozen
- 1983
- Theoretical Computer Science
Paper
Publications
26877 results for Science
Summary Abstract: Preparation and properties of granular aluminum in plasma-polymerized matrices
- M. Hecq
- P. Zieman
- et al.
- 1983
- JVSTA
PaperAnisotropic metallic character of C6Li from CESR
- P. Pfluger
- K.A. Müller
- et al.
- 1983
- Synthetic Metals
PaperDisorder-induced spin-glass state in amorphous Heusler alloys
- L. Krusin-Elbaum
- A.P. Malozemoff
- et al.
- 1983
- Physical Review B
PaperSlowly fluctuating random strains in the excited-state Jahn-Teller system TmPO4
- F. Mehran
- K.W.H. Stevens
- et al.
- 1983
- Physical Review B
PaperLaser-induced gas-surface interactions
- T.J. Chuang
- 1983
- Surface Science Reports
PaperElectronic consequences of ideal local order in amorphous Si
- M.H. Brodsky
- D.P. Di Vincenzo
- 1983
- Journal of Non-Crystalline Solids
PaperCurrent transport across a grain boundary in polycrystalline semiconductors
- Chih-Yuan Lu
- Nicky Chau-Chun Lu
- 1983
- Solid-State Electronics
PaperDielectric function of SmS. I. Optical transitions
- G. Güntherodt
- J. Freeouf
- et al.
- 1983
- Solid State Communications
PaperTheoretical calculation of vibrations of adsorbed species
- P.S. Bagus
- Inder P. Batra
- et al.
- 1983
- Journal of Electron Spectroscopy and Related Phenomena
Paper