共 50 条
- [31] COMPLETENESS TEST FOR PARTIAL FUNCTIONS OF LOGIC ALGEBRA AND MANY-VALUED LOGICS [J]. DOKLADY AKADEMII NAUK SSSR, 1966, 167 (06): : 1249 - &
- [32] A FAMILY OF CLASSES OF FUNCTIONS IN THE LOGIC ALGEBRA AND THEIR REALIZATION IN THE CLASS OF PI-SCHEMES [J]. DOKLADY AKADEMII NAUK SSSR, 1957, 115 (02): : 247 - 248
- [33] Representation of continuous logic functions in predicate option algebra and synthesis of relational processors [J]. Engineering Simulation, 1999, 16 (02): : 135 - 156
- [34] Synthesis of Reversible Logic Functions using Ternary Max-Min Algebra [J]. 2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 1674 - 1677
- [35] CALCULATION OF ALL NON-TRIVIAL SIMPLE DECOMPOSITIONS OF LOGIC ALGEBRA FUNCTIONS [J]. DOKLADY AKADEMII NAUK SSSR, 1979, 247 (01): : 15 - 18
- [36] BOOLEAN ALGEBRA OF LOGIC [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 81 (03) : 587 - 589
- [38] Equations in the algebra of logic [J]. ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 2 - 8
- [39] Algebra of logic programming [J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 184 - 199
- [40] Algebra and Logic in Granularity [J]. RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : XIII - XIV