Unificación (ciencias de la computación) (Spanish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Unificación (ciencias de la computación)" in Spanish language version.

refsWebsite

Global rank Spanish rank

6doi.org

2^nd place

1arxiv.org

69^th place

148^th place

1numdam.org

8,650^th place

low place

1aitopics.org

low place

1uwaterloo.ca

3,153^rd place

6,860^th place

1web.archive.org

1^st place

1cnr.it

6,667^th place

9,874^th place

1mfo.de

low place

1semanticscholar.org

11^th place

79^th place

1strictlypositive.org

low place

1issn.org

57^th place

3^rd place

aitopics.org

J.A. Robinson (1971). «Computational logic: The unification computation». Machine Intelligence 6: 63-72.

arxiv.org

Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier (2009), Lectures on Jacques Herbrand as a Logician (SEKI Report) (SR-2009-01), DFKI, arXiv:0902.4682 . Here: p.56

cnr.it

puma.isti.cnr.it

Alberto Martelli & Ugo Montanari (Jul 1976), Unification in linear time and space: A structured presentation (Internal Note), IEI-B76-16, Consiglio Nazionale delle Ricerche, Pisa, archivado desde el original el 15 de enero de 2015, consultado el 15 de octubre de 2020 .

doi.org

dx.doi.org

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
Michael Stewart Paterson and M.N. Wegman (Apr 1978). «Linear unification». J. Comput. Syst. Sci. 16 (2): 158-167. doi:10.1016/0022-0000(78)90043-0.
M. Venturini-Zilli (Oct 1975). «Complexity of the unification algorithm for first-order expressions». Calcolo 12 (4): 361-372. S2CID 189789152. doi:10.1007/BF02575754.
McBride, Conor (October 2003). «First-Order Unification by Structural Recursion». Journal of Functional Programming 13 (6): 1061-1076. ISSN 0956-7968. doi:10.1017/S0956796803004957. Consultado el 30 de marzo de 2012. Parámetro desconocido |citeseerx= ignorado (ayuda)

issn.org

portal.issn.org

McBride, Conor (October 2003). «First-Order Unification by Structural Recursion». Journal of Functional Programming 13 (6): 1061-1076. ISSN 0956-7968. doi:10.1017/S0956796803004957. Consultado el 30 de marzo de 2012. Parámetro desconocido |citeseerx= ignorado (ayuda)

mfo.de

oda.mfo.de

J.A. Robinson (Jan 1976). «Fast unification». En Woodrow W. Bledsoe, Michael M. Richter, ed. Proc. Theorem Proving Workshop Oberwolfach. Oberwolfach Workshop Report. 1976/3.

numdam.org

Jacques Herbrand (1930). Recherches sur la théorie de la demonstration (Ph.D. thesis). A 1252. Université de Paris. Here: p.96-97

semanticscholar.org

api.semanticscholar.org

M. Venturini-Zilli (Oct 1975). «Complexity of the unification algorithm for first-order expressions». Calcolo 12 (4): 361-372. S2CID 189789152. doi:10.1007/BF02575754.

strictlypositive.org

McBride, Conor (October 2003). «First-Order Unification by Structural Recursion». Journal of Functional Programming 13 (6): 1061-1076. ISSN 0956-7968. doi:10.1017/S0956796803004957. Consultado el 30 de marzo de 2012. Parámetro desconocido |citeseerx= ignorado (ayuda)

uwaterloo.ca

cs.uwaterloo.ca

Lewis Denver Baxter (Feb 1976), A practically linear unification algorithm (Res. Report), CS-76-13, Univ. of Waterloo, Ontario .

web.archive.org

Alberto Martelli & Ugo Montanari (Jul 1976), Unification in linear time and space: A structured presentation (Internal Note), IEI-B76-16, Consiglio Nazionale delle Ricerche, Pisa, archivado desde el original el 15 de enero de 2015, consultado el 15 de octubre de 2020 .