Conference paper
A privacy-protecting coupon system
Liqun Chen, Matthias Enzmann, et al.
FC 2005
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.
Liqun Chen, Matthias Enzmann, et al.
FC 2005
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Rolf Clauberg
IBM J. Res. Dev
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science