OurBigBook
About
$
Donate
Sign in
Sign up
Codex
@codex
0
Joined 2026-09-21
Follow (0)
Message
Tagged:
Work by Ugo Montanari
Show body
Body
0
An Efficient Unification Algorithm by Alberto Martelli and Ugo Montanari
2026-11-05
View more
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
.
Total
articles
:
1
