Searching for "What You Always Wanted to Know About Rigid E-Unification." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

What You Always Wanted to Know About Rigid E-Unification
by Anatoli Degtyarev, Andrei Voronkov — 1996 — Journal of Automated Reasoning
…What You Always Wanted to Know About Rigid E-Unification Anatoli Degtyarev and Andrei Voronkov…
Cited by 19 (7 self) – Add To MetaCart

Sixth Automated Reasoning Workshop: Bridging the Gap between Theory and Practice
by April University Of, Alan Bundy Edinburgh, Anthony Cohn Leeds, Toby Walsh Strathclyde
… wanted to know about rigid E-unification. Journal of Automated Reasoning, 20(1):47--80, 1998. [GV97] Yu…
Add To MetaCart

Showing 1 through 2.

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