Jump to content

Unification algorithm

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Jochen Burghardt (talk | contribs) at 16:30, 13 September 2014 (link to particular section). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Redirect page

Redirect to:

Unification (computer science)#A unification algorithm

To a section: This is a redirect from a topic that does not have its own page to a section of a page on the subject. For redirects to embedded anchors on a page, use {{R to anchor}} instead.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Unification_algorithm&oldid=625392702"

Hidden categories: