共 50 条
- [22] Parameterized Provability in Equational Logic AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 364 - 380
- [25] FUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES IRANIAN JOURNAL OF FUZZY SYSTEMS, 2013, 10 (04): : 1 - 18