Centrum für Informations- und Sprachverarbeitung

Breadcrumb Navigation


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