共 50 条
- [41] Multiple-valued logic as a programming language 27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 227 - 232
- [43] State assignment techniques in Multiple-Valued Logic 1999 29TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1999, : 220 - 225
- [44] Posets of minors of functions in multiple-valued logic 2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, : 43 - 48
- [47] Commodious axiomatization of quantifiers in multiple-valued logic 1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 118 - 123