Associative-Commutative Rewriting on Large Terms

@inproceedings{Eker2003AssociativeCommutativeRO,
  title={Associative-Commutative Rewriting on Large Terms},
  author={Steven Eker},
  booktitle={RTA},
  year={2003}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 22 extracted citations

Similar Papers

Loading similar papers…