1997 27th International Symposium on Multiple-Valued Logic: May 28-30, 1997, Antigonish, Nova Scotia, Canada : Proceedings |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Decomposition | 11 |
Finding Composition Trees for MultipleValued Functions | 19 |
Functional Decomposition of MVL Functions Using MultiValued Decision Diagrams | 27 |
Copyright | |
36 other sections not shown
Common terms and phrases
4-valued A/D converter algebra algorithm applications array asynchronous asynchronous circuits BDDs binary Boolean functions bound set CCD circuits cells CMOS column Complex Hadamard composition tree Computer corresponding cubes current-mode cutting planes DD-cubes decision diagrams decomposition defined Definition denoted elements encoding enzyme transistor example expression fault Figure finite formula FUCHT func fuzzy gate Hadamard matrix Hadamard Transforms HEMT hyperclone hyperoperation IEEE implementation input variables integer KBMD language Lemma logic function logical values many-valued logic mapping matrix method minimal minterms MJ-STT multi-valued multi-valued logic multiple Multiple-Valued Logic MVL functions nodes operations output prime implicates problem Proc properties quantizer quaternary realized Reed-Muller expansions relations representation represented RTDs Sasao semantics set logic set-valued functions shows signal simulation solution subset switching Table ternary logic Theorem tion transforms transistor TSUM UCHT ULGs universal literal valued logic vector voltage WSOP