Logic programming with sets
- Gabriel M. Kuper
- 1990
- Journal of Computer and System Sciences
Paper
Publications
26941 results for Science
0-1 Laws and decision problems for fragments of second-order logic
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1990
- Information and Computation
PaperPreparation and properties of fluorine-doped Nd2CuO4-y superconductors
- M.E. Lo ́pez-Morales
- P.M. Grant
- 1990
- Journal of Solid State Chemistry
PaperInfrared active phonons in (Pr2-xCex)CuO4
- M.K. Crawford
- G. Burns
- et al.
- 1990
- Solid State Communications
PaperMagnetic field dependence of 1/T1of human brain tumors: Correlations with histology
- N. Lundbom
- R.D. Brown
- et al.
- 1990
- Investigative Radiology
PaperBroadband Microwave Measurements with Transient Radiation from Optoelectronically Pulsed Antennas
- G. Arjavalingam
- Yvon Pastol
- et al.
- 1990
- IEEE T-MTT
PaperHot electron transport in two dimensional electron gas
- U. Sivan
- A. Palevski
- et al.
- 1990
- Solid State Electronics
PaperDesign of low-temperature thermal chemical vapor deposition processes
- D.B. Beach
- 1990
- IBM J. Res. Dev
PaperMatrix multiplication via arithmetic progressions
- Don Coppersmith
- Shmuel Winograd
- 1990
- Journal of Symbolic Computation
PaperThe physical description of films coating quartz resonators
- K.Keiji Kanazawa
- 1990
- Thin Solid Films
Paper