共 50 条
- [34] 2-Valued and 3-Valued Abstraction-Refinement in Model Checking LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 105 - 128
- [39] MONADIC FUNCTORS IN A 3-VALUED LOGIC NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 579 - &
- [40] CLASSICAL, INTUITIONISTIC OR 3-VALUED LOGIC ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1977, 31 (01): : 61 - 78