Unifikasjon (Norwegian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Unifikasjon" in Norwegian language version.

refsWebsite

Global rank Norwegian rank

1mathgate.infocebrown

low place

low place

4,903^rd place

low place

1scientificcommons.org

low place

low place

inria.fr

pauillac.inria.fr

"30 Years of Higher-Order Unification", Gérard Huet, TPHOL 2002, INRIA

mathgate.infocebrown

"A Unification Algorithm for Typed Lambda-Calculus", Gerard P. Huet, Theoretical Computer Science 1 1975), 27-57^{[død lenke]}

scientificcommons.org

en.scientificcommons.org

Claire Gardent, Michael Kohlhase, Karsten Konrad, A multi-level, Higher-Order Unification approach to ellipsis (1997). Link^{[død lenke]}