Уніфікація (інформатика) (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Уніфікація (інформатика)" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

2^nd place

4^th place

6^th place

low place

aitopics.org

J.A. Robinson (1971). Computational logic: The unification computation (PDF). Machine Intelligence. 6: 63—72.

Fages, François; Huet, Gérard (1986). Complete Sets of Unifiers and Matchers in Equational Theories. Theoretical Computer Science. 43: 189—200. doi:10.1016/0304-3975(86)90175-1.
Martelli, Alberto; Montanari, Ugo (Apr 1982). An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4 (2): 258—282. doi:10.1145/357162.357169.
J.A. Robinson (Jan 1965). A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM. 12 (1): 23—41. doi:10.1145/321250.321253.; Here: sect.5.8, p.32