This paret details a theory of Term Rewriting Systems, solely based on sound reasoning. Minimal Magc refers to a minimisation of assumptions: there are almost none, and, in principle, no previous knowledge is required.
This paret details a theory of Term Rewriting Systems, solely based on sound reasoning. Minimal Magc refers to a minimisation of assumptions: there are almost none, and, in principle, no previous knowledge is required.