Content
A Criterion for Intractability of E-unification with free function symbols and its relevance for combination of unification algorithms.
In: Hubert Comon (ed.). Rewriting Techniques and Applications, 8th International Conference (RTA-97). p. 284 - 298. Springer, LNCS 1232, 1997.
| Authors/Editors: |
Klaus U. Schulz |
|---|---|
| Publication Date: | 1997 |
| Type of Publication: | Konferenzen/Journale |
Related Links