共 50 条
- [21] Model checking for multi-valued computation tree logics BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC, 2003, 114 : 193 - 210
- [22] Models for Quantitative Distributed Systems and Multi-Valued Logics LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2011, 6638 : 310 - 322
- [23] Multi-valued modal fixed point logics for model checking ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, : 109 - 113
- [24] On the Algebrization of the Multi-valued Logics CG′3 and G′3 COMPUTACION Y SISTEMAS, 2021, 25 (04): : 751 - 759
- [26] Multi-Valued Modal Fixed Point Logics for Model Checking IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (08): : 2036 - 2039
- [28] A Fuzzy Tolerating Mechanism for the Multi-Valued Neuron 2012 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY2012), 2012, : 283 - 287
- [29] Multi-valued Fuzzy Spaces for Color Representation INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, PT II, 2014, 443 : 174 - 183
- [30] Multi-valued Autoencoders for Multi-valued Neural Networks 2016 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2016, : 4412 - 4417