共 50 条
- [2] FAST KNUTH-BENDIX COMPLETION - SUMMARY [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 551 - 555
- [3] Knuth-Bendix completion as a data structure [J]. RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 225 - 236
- [5] THE KNUTH-BENDIX COMPLETION PROCEDURE AND THUE SYSTEMS [J]. SIAM JOURNAL ON COMPUTING, 1985, 14 (04) : 1052 - 1072
- [6] INDUCTIVE INFERENCE FOR SOLVING DIVERGENCE IN KNUTH-BENDIX COMPLETION [J]. ANALOGICAL AND INDUCTIVE INFERENCE /, 1989, 397 : 288 - 303
- [8] SLOTHROP: Knuth-Bendix completion with a modern termination checker [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 287 - 296