Only prime superpositions need be considered in the Knuth-Bendix completion procedure - Concepedia

Concepedia

Publication | Closed Access

Only prime superpositions need be considered in the Knuth-Bendix completion procedure

57

Citations

15

References

1988

Year

Deepak Kapur, David R. Musser, Paliath Narendran

Journal of Symbolic Computation

Prime SuperpositionsPhysicsKnuth-bendix Completion Procedure

References

	Year	Citations

Page 1