A simple characterization of database dependency implication
- Yoshito Hanatani
- Ronald Fagin
- 1986
- Information Processing Letters
Paper
Publications
24861 results for Exploratory Science
Limits for automatic verification of finite-state concurrent systems
- Krzysztof R. Apt
- Dexter C. Kozen
- 1986
- Information Processing Letters
PaperStability of 4f configurations in rare-earth-metal compounds
- C. Laubschat
- G. Kaindl
- et al.
- 1986
- Physical Review B
PaperSchottky-barrier height of a Ti-W alloy on n-type and p-type Si
- M.O. Aboelfotoh
- K.N. Tu
- 1986
- Physical Review B
PaperSurface electronic structure of GaAs(110)1×1-Sb studied with angle-resolved photoelectron spectroscopy
- P. Mrtensson
- G.V. Hansson
- et al.
- 1986
- Physical Review B
PaperElectric field gradient at the nucleus of alkali-metal atoms adsorbed on jellium
- E. Koch
- N.D. Lang
- 1986
- Physical Review B
PaperObservation by resonant tunneling of high-energy states in GaAs-Ga1-xAlxAs quantum wells
- E. Mendez
- E. Calleja
- et al.
- 1986
- Physical Review B
PaperFour dimensional cardiac imaging
- L.D.R. Smith
- Peter Quarendon
- 1989
- Proceedings of SPIE 1989
Conference paperXeCl laser controlled chemical etching of aluminum in chlorine gas
- G. Koren
- Fahfu Ho
- et al.
- 1986
- Applied Physics A Solids and Surfaces
PaperLCVD of copper: Deposition rates and deposit shapes
- C.R. Moylan
- T.H. Baum
- et al.
- 1986
- Applied Physics A Solids and Surfaces
Paper