ユニフィケーション (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "ユニフィケーション" in Japanese language version.

refsWebsite

Global rank Japanese rank

2^nd place

6^th place

69^th place

227^th place

8,650^th place

low place

1,185^th place

2,667^th place

1polytechnique.fr

low place

low place

207^th place

1,812^th place

1strictlypositive.org

low place

low place

5^th place

19^th place

acm.org

portal.acm.org

Gérard Huet: Higher Order Unification 30 Years Later

arxiv.org

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

doi.org

Warren Goldfarb: The undecidability of the second-order unification problem
Gérard Huet: The undecidability of unification in third order logic
Martelli, Montanari: An Efficient Unification Algorithm
McBride, Conor (October 2003). “First-Order Unification by Structural Recursion”. Journal of Functional Programming 13 (6): 1061–1076. doi:10.1017/S0956796803004957. ISSN 0956-7968 2012年3月30日閲覧。.

numdam.org

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

polytechnique.fr

lix.polytechnique.fr

Dale Miller: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification, Journal of Logic and Computation, 1991, pp. 497--536

psu.edu

citeseerx.ist.psu.edu

Claire Gardent, Michael Kohlhase, Karsten Konrad, (1997), A multi-level, Higher-Order Unification approach to ellipsis

strictlypositive.org

McBride, Conor (October 2003). “First-Order Unification by Structural Recursion”. Journal of Functional Programming 13 (6): 1061–1076. doi:10.1017/S0956796803004957. ISSN 0956-7968 2012年3月30日閲覧。.

worldcat.org

search.worldcat.org

McBride, Conor (October 2003). “First-Order Unification by Structural Recursion”. Journal of Functional Programming 13 (6): 1061–1076. doi:10.1017/S0956796803004957. ISSN 0956-7968 2012年3月30日閲覧。.