共 50 条
- [23] To Be and Not To Be: 3-Valued Relations on Graphs SPATIAL INFORMATION THEORY, PROCEEDINGS, 2009, 5756 : 263 - 279
- [26] On the expressiveness of 3-valued models VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 206 - 222