共 50 条
- [42] Satisfiability in multi-valued circuits LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 550 - 558
- [44] Multi-Valued Automata and Their Applications LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 179 - 194
- [49] Multi-Valued Quantum Logic ISMVL 2006: 36th International Symposium on Multiple-Valued Logic, 2006, : 188 - 193