Conference paper
True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
A simple and elegant set-theoretic characterization is given as to when a given set of functional and multivalued dependencies logically implies a given functional or multivalued dependency. A simple proof of the characterization is given which makes use of a result of Sagiv, Delobel, Parker, and Fagin (1981). © 1986.
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
Thomas M. Cheng
IT Professional
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000