共 50 条
- [1] Discrete equational theories [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, 34 (02) : 147 - 160
- [9] Decidability of weak equational theories [J]. CZECHOSLOVAK MATHEMATICAL JOURNAL, 1996, 46 (04) : 629 - 664
- [10] UNIFICATION IN CONDITIONAL EQUATIONAL THEORIES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 204 : 543 - 553