高阶逻辑 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "高阶逻辑" in Chinese language version.

refsWebsite

Global rank Chinese rank

6web.archive.org

1^st place

1^st place

1,670^th place

3,212^th place

26^th place

113^th place

2^nd place

23^rd place

1researchgate.net

120^th place

337^th place

1sciencedirect.com

149^th place

292^nd place

4,903^rd place

7,274^th place

179^th place

275^th place

doi.org

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

helsinki.fi

math.helsinki.fi

Menachem Magidor and Jouko Väänänen. "On Löwenheim-Skolem-Tarski numbers for extensions of first order logic （页面存档备份，存于互联网档案馆）", Report No. 15 (2009/2010) of the Mittag-Leffler Institute.

inria.fr

pauillac.inria.fr

Huet, Gérard. Higher Order Unification 30 years later (PDF). Carreño, V.; Muñoz, C.; Tahar, S. (编). Proceedings, 15th International Conference TPHOL. LNCS 2410. Springer. 2002: 3–12 [2023-10-04]. （原始内容存档 (PDF)于2016-03-04）.

jstor.org

Alonzo Church, A formulation of the simple theory of types （页面存档备份，存于互联网档案馆）, The Journal of Symbolic Logic 5(2):56–68 (1940)

researchgate.net

Huet, Gérard. Resolution d'Equations dans des Langages d'Ordre 1,2,...ω (学位论文). Universite de Paris VII. Sep 1976 [2023-10-25]. （原始内容存档于2023-06-13）（French）.

sciencedirect.com

Warren D. Goldfarb. The Undecidability of the Second-Order Unification Problem (PDF). Theoretical Computer Science. 1981, 13: 225–230 [2023-10-04]. （原始内容存档 (PDF)于2023-06-20）.

stanford.edu

plato.stanford.edu

entry on HOL. [2023-10-04]. （原始内容存档于2016-06-17）.

web.archive.org

Menachem Magidor and Jouko Väänänen. "On Löwenheim-Skolem-Tarski numbers for extensions of first order logic （页面存档备份，存于互联网档案馆）", Report No. 15 (2009/2010) of the Mittag-Leffler Institute.
Alonzo Church, A formulation of the simple theory of types （页面存档备份，存于互联网档案馆）, The Journal of Symbolic Logic 5(2):56–68 (1940)
Huet, Gérard. Resolution d'Equations dans des Langages d'Ordre 1,2,...ω (学位论文). Universite de Paris VII. Sep 1976 [2023-10-25]. （原始内容存档于2023-06-13）（French）.
Warren D. Goldfarb. The Undecidability of the Second-Order Unification Problem (PDF). Theoretical Computer Science. 1981, 13: 225–230 [2023-10-04]. （原始内容存档 (PDF)于2023-06-20）.
Huet, Gérard. Higher Order Unification 30 years later (PDF). Carreño, V.; Muñoz, C.; Tahar, S. (编). Proceedings, 15th International Conference TPHOL. LNCS 2410. Springer. 2002: 3–12 [2023-10-04]. （原始内容存档 (PDF)于2016-03-04）.
entry on HOL. [2023-10-04]. （原始内容存档于2016-06-17）.