Conclusion

Conclusions MinimalMagic.blog/trs was created with several purposes in mind: As an informal though complete and entirely self-contained introduction to term rewriting systems.