(Introduce rewriting systems, prove the diamond lemma and give couple of applications.)
Anton Petrunin
- 45k
- 14
- 135
- 299
(Introduce rewriting systems, prove the diamond lemma and give couple of applications.)