Higher-order logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Higher-order logic" in English language version.

refsWebsite

Global rank English rank

1,670^th place

2,355^th place

26^th place

20^th place

2^nd place

120^th place

125^th place

149^th place

178^th place

4,903^rd place

3,679^th place

179^th place

183^rd place

doi.org

Huet, Gérard P. (1973). "The Undecidability of Unification in Third Order Logic". Information and Control. 22 (3): 257–267. doi:10.1016/s0019-9958(73)90301-x.

Huet, Gérard (2002). "Higher Order Unification 30 years later" (PDF). In Carreño, V.; Muñoz, C.; Tahar, S. (eds.). Proceedings, 15th International Conference TPHOL. LNCS. Vol. 2410. Springer. pp. 3–12.

Huet, Gérard (Sep 1976). Resolution d'Equations dans des Langages d'Ordre 1,2,...ω (Ph.D.) (in French). Universite de Paris VII.