共 50 条
- [25] Three-valued Logic, Indeterminacy and Quantum Mechanics Journal of Philosophical Logic, 2001, 30 : 97 - 119
- [30] Three-valued logic in bounded model checking THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186