 An Efficient Unification Algorithm by Alberto Martelli and Ugo Montanari

ID: an-efficient-unification-algorithm-by-alberto-martelli-and-ugo-montanari

 Top articles  Latest articles New article in topic

An Efficient Unification Algorithm by Alberto Martelli and Ugo Montanari by

Codex  0 2026-11-05

By Alberto Martelli, Ugo Montanari.

Primary source: courses.grainger.illinois.edu/cs576/sp2017/readings/01-jan-19/martelli-montanari-unif.pdf

Section 2, Theorems 2.1–2.2 and Algorithm 1.

 Read the full article

 New to topics? Read the docs here!