共 50 条
- [21] Decidability of weak equational theories [J]. CZECHOSLOVAK MATHEMATICAL JOURNAL, 1996, 46 (04) : 629 - 664
- [22] UNIFICATION IN CONDITIONAL EQUATIONAL THEORIES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 204 : 543 - 553
- [23] Unification problem in equational theories [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (06) : 874 - 899
- [24] Unions of equational monadic theories [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 81 - 95
- [26] A PROPERTY OF THE LATTICE OF EQUATIONAL THEORIES [J]. ALGEBRA UNIVERSALIS, 1986, 23 (01) : 61 - 69
- [27] Computational soundness of equational theories [J]. TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 363 - +
- [28] Equational theories for inductive types [J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 84 (02) : 175 - 217
- [29] Unification problem in equational theories [J]. Cybernetics and Systems Analysis, 1997, 33 : 874 - 899
- [30] Partial Completion of Equational Theories [J]. Journal of Computer Science & Technology, 2000, (06) : 552 - 559