共 50 条
- [2] The undecidability of associativity and commutativity analysis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2002, 24 (05): : 554 - 565
- [6] The commingling of commutativity and associativity in Bol loops COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2016, 57 (04): : 555 - 565
- [8] Associativity, Commutativity and Symmetry in Residuated Structures ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2013, 30 (02): : 363 - 401
- [10] Congruence closure module associativity and commutativity FRONTIERS OF COMBINING SYSTEMS, 2000, 1794 : 245 - 259