共 50 条
- [22] Correlation immunity of three-valued logic functions [J]. JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2022, 25 (06): : 1649 - 1665
- [24] Three-valued logic in bounded model checking [J]. THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186
- [25] A Three-Valued Semantics for Typed Logic Programming [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
- [26] Positively closed classes of three-valued logic [J]. Marchenkov, S. S. (ssmarchen@yandex.ru), 1600, Izdatel'stvo Nauka (08): : 256 - 266
- [27] A three-valued temporal logic for future contingents [J]. LOGIQUE ET ANALYSE, 2007, (198) : 99 - 111
- [29] Algebraization of the three-valued BCK-logic [J]. MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (02) : 163 - 178
- [30] Erotetic Search Scenarios and Three-Valued Logic [J]. Journal of Logic, Language and Information, 2016, 25 : 51 - 76