共 50 条
- [27] Decidability of Equational Theories of Coverings of Semigroup Varieties Siberian Mathematical Journal, 2001, 42 : 1132 - 1141
- [29] Specification Translation of State Machines from Equational Theories into Rewrite Theories FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 678 - +