MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Unification in Extension of Shallow Equational Theories." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Unification in Extensions of Shallow Equational Theories
by Florent Jacquemard, Christoph Meyer, Christoph Weidenbach — 1998 — Rewriting Techniques and Applications, 9th International Conference, RTA-98, Vol. 1379, LNCS
…Unification in Extensions of Shallow Equational Theories Florent Jacquemard ? , Christoph Meyer…
Cited by 8 (0 self) – Add To MetaCart

PUBLICATIONS
by Christoph M. Kirsch — 1996
… file. [22] F. Jacquemard, C. Meyer, and C. Weidenbach. Unification in extensions of shallow equational…
Add To MetaCart

ACADEMIC EMPLOYMENT
by Christoph M. Kirsch, Visiting Scholar — 2008
…, and C. Weidenbach. Unification in extensions of shallow equational theories. In Proc. International…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB