AUTOMATED DESIGN OF MULTIPLE-VALUED LOGIC-CIRCUITS BY AUTOMATIC THEOREM-PROVING TECHNIQUES

[1] [Anonymous], SYMBOLIC LOGIC MECHA

[2] Curtis H. A., 1962, NEW APPROACH DESIGN

[3] DAO TT, 1977, IEEE T COMPUT, V26, P1233, DOI 10.1109/TC.1977.1674784

[4] AN ALGORITHM FOR NAND DECOMPOSITION UNDER NETWORK CONSTRAINTS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1969, C 18 (12) : 1098 - &

[5] FUNCTIONAL DECOMPOSITION AND SWITCHING CIRCUIT DESIGN [J]. JOURNAL OF THE SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS, 1963, 11 (02): : 291 - 335

[6] Loveland D.W., 1978, AUTOMATED THEOREM PR, DOI DOI 10.1016/0378-4754(80)90081-6

[7] MCCHAREN JD, 1976, IEEE T COMPUT, V25, P773, DOI 10.1109/TC.1976.1674696

[8] Miller D. M., 1976, 6th International Symposium on Multi-Valued Logic, P164

[9] MORGAN CG, 1976, IEEE T COMPUT, V25, P852, DOI 10.1109/TC.1976.1674704

[10] Introduction to a general theory of elementary propositions [J]. AMERICAN JOURNAL OF MATHEMATICS, 1921, 43 : 163 - 185

[1] [Anonymous], SYMBOLIC LOGIC MECHA

[2] Curtis H. A., 1962, NEW APPROACH DESIGN

[3] DAO TT, 1977, IEEE T COMPUT, V26, P1233, DOI 10.1109/TC.1977.1674784

[4] AN ALGORITHM FOR NAND DECOMPOSITION UNDER NETWORK CONSTRAINTS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1969, C 18 (12) : 1098 - &

[5] FUNCTIONAL DECOMPOSITION AND SWITCHING CIRCUIT DESIGN [J]. JOURNAL OF THE SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS, 1963, 11 (02): : 291 - 335

[6] Loveland D.W., 1978, AUTOMATED THEOREM PR, DOI DOI 10.1016/0378-4754(80)90081-6

[7] MCCHAREN JD, 1976, IEEE T COMPUT, V25, P773, DOI 10.1109/TC.1976.1674696

[8] Miller D. M., 1976, 6th International Symposium on Multi-Valued Logic, P164

[9] MORGAN CG, 1976, IEEE T COMPUT, V25, P852, DOI 10.1109/TC.1976.1674704

[10] Introduction to a general theory of elementary propositions [J]. AMERICAN JOURNAL OF MATHEMATICS, 1921, 43 : 163 - 185