Introduction to the special issue of the sigplan notices on the object-oriented programming workshop
- Peter Wegner
- Bruce Shriver
- 1986
- OOPWORK 1986
Conference paper
Publications
26878 results for Science
A simple characterization of database dependency implication
- Yoshito Hanatani
- Ronald Fagin
- 1986
- Information Processing Letters
PaperLimits for automatic verification of finite-state concurrent systems
- Krzysztof R. Apt
- Dexter C. Kozen
- 1986
- Information Processing Letters
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
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
PaperStability of 4f configurations in rare-earth-metal compounds
- C. Laubschat
- G. Kaindl
- et al.
- 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 paperAntiferromagnetic resonance in tetramethyltetrathiafulvalene (TMTTF) salts
- C. Coulon
- J.C. Scott
- et al.
- 1986
- Physical Review B
Paper