共 50 条
- [38] COMPLEXITY CLASSES AND THEORIES OF FINITE-MODELS MATHEMATICAL SYSTEMS THEORY, 1982, 15 (02): : 127 - 144
- [40] On equational definability of function classes 2011 41ST IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2011, : 182 - 186