Conference paper
True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
An algebra for multiple valued logic systems is presented in this paper. This algebra uses r-1 new concurrent operators along with the traditional supremum and cycle operators. It is also shown that r+1 operators are required to generate any r-valued logic function. Five new theorems, similar to DeMorgan's Laws, are then used to show that only one fundamental mapping is sufficient to represent any multi-valued logic function.
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
Minkyong Kim, Zhen Liu, et al.
INFOCOM 2008
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989