Lógica de orden superior (Spanish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lógica de orden superior" in Spanish language version.

refsWebsite

Global rank Spanish rank

1,670^th place

1,349^th place

26^th place

56^th place

2^nd place

2^nd place

1researchgate.net

120^th place

124^th place

1sciencedirect.com

149^th place

128^th place

4,903^rd place

low place

179^th place

132^nd place

doi.org

dx.doi.org

Huet, Gérard P. (1973). «La indecidibilidad de la unificación en la lógica de tercer orden». Información y control 22 (3): 257-267. doi:10.1016/s0019-9958(73)90301-x. Parámetro desconocido |doi-access= ignorado (ayuda)

helsinki.fi

math.helsinki.fi

Menachem Magidor y Jouko Väänänen. "On Löwenheim-Skolem-Tarski numbers for extensions of first order logic", Informe No. 15 (2009/2010) del Instituto Mittag-Leffler.

inria.fr

pauillac.inria.fr

Huet, Gérard (2002). «Unificación de orden superior 30 años después». En Carreño; Muñoz; Tahar, S., eds. Actas, 15ª Conferencia Internacional TPLOS. LNCS 2410. Springer. pp. 3-12.

jstor.org

Alonzo Church, Una formulación de la teoría simple de tipos, The Journal of Symbolic Logic 5(2):56–68 (1940)

researchgate.net

Huet, Gérard (Sep 1976). Resolution d'Equations dans des Langages d'Ordre 1,2,... ω (Ph.D.) (en francés). Université de Paris VII.

sciencedirect.com

Warren D. Goldfarb (1981). «The Undecidability of the Second-Order Unification Problem». Informática Teórica 13: 225-230.

stanford.edu

plato.stanford.edu

><.Entrada SEP en LOS