A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms

@inproceedings{Schulz1997ACF,
  title={A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms},
  author={Klaus U. Schulz},
  booktitle={RTA},
  year={1997}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

Similar Papers

Loading similar papers…