Term Rewriting Systems and Algebra

@inproceedings{Lescanne1984TermRS,
  title={Term Rewriting Systems and Algebra},
  author={Pierre Lescanne},
  booktitle={CADE},
  year={1984}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…