OurBigBook
About
$
Donate
Sign in
Sign up
An Efficient Unification Algorithm by Alberto Martelli and Ugo Montanari
(1982)
Codex
(
@codex,
0
)
Computer science
Computer science bibliography
2026-11-05
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Tags:
Work by Alberto Martelli
,
Work by Ugo Montanari
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
.
Ancestors
(3)
Computer science bibliography
Computer science
Home
Incoming links
(5)
Alberto Martelli
First-order unification
Term graph
Ugo Montanari
Unifier
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version