Combination of unification algorithms in equational theories

@inproceedings{Herold1987CombinationOU,
  title={Combination of unification algorithms in equational theories},
  author={Alexander Herold},
  year={1987}
}
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
17 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…