Unification (computer science) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Unification (computer science)" in English language version.

refsWebsite

Global rank English rank

17doi.org

2^nd place

5semanticscholar.org

11^th place

8^th place

3web.archive.org

1^st place

3psu.edu

207^th place

136^th place

2arxiv.org

69^th place

59^th place

1lsv.fr

low place

1cwi.nl

low place

1numdam.org

8,650^th place

7,668^th place

1aitopics.org

low place

1raw.githubusercontent.com

low place

9,632^nd place

1uwaterloo.ca

3,153^rd place

2,332^nd place

1bu.edu

2,120^th place

1,328^th place

1strictlypositive.org

low place

1worldcat.org

5^th place

1swi-prolog.org

low place

1aclweb.org

low place

6,793^rd place

1tu-darmstadt.de

low place

1springer.com

274^th place

309^th place

1inria.fr

4,903^rd place

3,679^th place

1acm.org

1,185^th place

840^th place

1polytechnique.fr

low place

aclweb.org (Global: low place; English: 6,793^rd place)

Jonathan Calder, Mike Reape, and Hank Zeevat,, An algorithm for generation in unification categorial grammar. In Proceedings of the 4th Conference of the European Chapter of the Association for Computational Linguistics, pages 233-240, Manchester, England (10–12 April), University of Manchester Institute of Science and Technology, 1989.

acm.org (Global: 1,185^th place; English: 840^th place)

portal.acm.org

Gérard Huet: Higher Order Unification 30 Years Later

aitopics.org (Global: low place; English: low place)

J.A. Robinson (1971). "Computational logic: The unification computation". Machine Intelligence. 6: 63–72.

arxiv.org (Global: 69^th place; English: 59^th place)

Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa (14 December 2021). "Efficient Full Higher-Order Unification". Logical Methods in Computer Science. 17 (4): 6919. arXiv:2011.09507. doi:10.46298/lmcs-17(4:18)2021.
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

bu.edu (Global: 2,120^th place; English: 1,328^th place)

cs.bu.edu

Baader, Franz; Snyder, Wayne (2001). "Unification Theory" (PDF). Handbook of Automated Reasoning. pp. 445–533. doi:10.1016/B978-044450813-3/50010-2. ISBN 978-0-444-50813-3.

cwi.nl (Global: low place; English: low place)

homepages.cwi.nl

Apt, Krzysztof R. (1997). From logic programming to Prolog (1. publ ed.). London Munich: Prentice Hall. p. 24. ISBN 013230368X.

doi.org (Global: 2^nd place; English: 2^nd place)

Independent discovery is stated in Martelli & Montanari (1982) sect.1, p.259. The journal publisher received Paterson & Wegman (1978) in Sep.1976. Paterson, M.S.; Wegman, M.N. (Apr 1978). "Linear unification". J. Comput. Syst. Sci. 16 (2): 158–167. doi:10.1016/0022-0000(78)90043-0.
Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa (14 December 2021). "Efficient Full Higher-Order Unification". Logical Methods in Computer Science. 17 (4): 6919. arXiv:2011.09507. doi:10.46298/lmcs-17(4:18)2021.
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. S2CID 10921306.
Robinson, J.A. (Jan 1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. 12 (1): 23–41. doi:10.1145/321250.321253. S2CID 14389185.; Here: sect.5.8, p.32
de Champeaux, Dennis (Aug 2022). "Faster Linear Unification Algorithm" (PDF). Journal of Automated Reasoning. 66 (4): 845–860. doi:10.1007/s10817-022-09635-1.
Baader, Franz; Snyder, Wayne (2001). "Unification Theory" (PDF). Handbook of Automated Reasoning. pp. 445–533. doi:10.1016/B978-044450813-3/50010-2. ISBN 978-0-444-50813-3.
McBride, Conor (October 2003). "First-Order Unification by Structural Recursion". Journal of Functional Programming. 13 (6): 1061–1076. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. Retrieved 30 March 2012.
e.g. Paterson & Wegman (1978) sect.2, p.159 Paterson, M.S.; Wegman, M.N. (Apr 1978). "Linear unification". J. Comput. Syst. Sci. 16 (2): 158–167. doi:10.1016/0022-0000(78)90043-0.
Walther, Christoph (1985). "A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution" (PDF). Artif. Intell. 26 (2): 217–224. doi:10.1016/0004-3702(85)90029-3. Archived from the original (PDF) on 2011-07-08. Retrieved 2013-06-28.
Smolka, Gert (Nov 1988). Logic Programming with Polymorphically Order-Sorted Types (PDF). Int. Workshop Algebraic and Logic Programming. LNCS. Vol. 343. Springer. pp. 53–70. doi:10.1007/3-540-50667-5_58.
F. Fages (1987). "Associative-Commutative Unification" (PDF). J. Symbolic Comput. 3 (3): 257–275. doi:10.1016/s0747-7171(87)80004-4. S2CID 40499266.
A. Boudet; J.P. Jouannaud; M. Schmidt-Schauß (1989). "Unification of Boolean Rings and Abelian Groups". Journal of Symbolic Computation. 8 (5): 449–477. doi:10.1016/s0747-7171(89)80054-9.
Warren D. Goldfarb (1981). "The Undecidability of the Second-Order Unification Problem". TCS. 13 (2): 225–230. doi:10.1016/0304-3975(81)90040-2.
Gérard P. Huet (1973). "The Undecidability of Unification in Third Order Logic". Information and Control. 22 (3): 257–267. doi:10.1016/S0019-9958(73)90301-X.
Miller, Dale (1991). "A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification" (PDF). Journal of Logic and Computation. 1 (4): 497–536. doi:10.1093/logcom/1.4.497.
Libal, Tomer; Miller, Dale (May 2022). "Functions-as-constructors higher-order unification: extended pattern unification". Annals of Mathematics and Artificial Intelligence. 90 (5): 455–479. doi:10.1007/s10472-021-09774-y.

inria.fr (Global: 4,903^rd place; English: 3,679^th place)

hal.inria.fr

F. Fages (1987). "Associative-Commutative Unification" (PDF). J. Symbolic Comput. 3 (3): 257–275. doi:10.1016/s0747-7171(87)80004-4. S2CID 40499266.

lsv.fr (Global: low place; English: low place)

Dowek, Gilles (1 January 2001). "Higher-order unification and matching". Handbook of automated reasoning. Elsevier Science Publishers B. V. pp. 1009–1062. ISBN 978-0-444-50812-6. Archived from the original on 15 May 2019. Retrieved 15 May 2019.

numdam.org (Global: 8,650^th place; English: 7,668^th place)

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 (Global: low place; English: low place)

lix.polytechnique.fr

Miller, Dale (1991). "A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification" (PDF). Journal of Logic and Computation. 1 (4): 497–536. doi:10.1093/logcom/1.4.497.

psu.edu (Global: 207^th place; English: 136^th place)

citeseerx.ist.psu.edu

McBride, Conor (October 2003). "First-Order Unification by Structural Recursion". Journal of Functional Programming. 13 (6): 1061–1076. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. Retrieved 30 March 2012.
Graeme Hirst and David St-Onge, [1] Lexical chains as representations of context for the detection and correction of malapropisms, 1998.
Gardent, Claire; Kohlhase, Michael; Konrad, Karsten (1997). "A Multi-Level, Higher-Order Unification Approach to Ellipsis". Submitted to European Association for Computational Linguistics (EACL). CiteSeerX 10.1.1.55.9018.

raw.githubusercontent.com (Global: low place; English: 9,632^nd place)

de Champeaux, Dennis (Aug 2022). "Faster Linear Unification Algorithm" (PDF). Journal of Automated Reasoning. 66 (4): 845–860. doi:10.1007/s10817-022-09635-1.

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Martelli, Alberto; Montanari, Ugo (Apr 1982). "An Efficient Unification Algorithm". ACM Trans. Program. Lang. Syst. 4 (2): 258–282. doi:10.1145/357162.357169. S2CID 10921306.
Robinson, J.A. (Jan 1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. 12 (1): 23–41. doi:10.1145/321250.321253. S2CID 14389185.; Here: sect.5.8, p.32
McBride, Conor (October 2003). "First-Order Unification by Structural Recursion". Journal of Functional Programming. 13 (6): 1061–1076. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. Retrieved 30 March 2012.
F. Fages (1987). "Associative-Commutative Unification" (PDF). J. Symbolic Comput. 3 (3): 257–275. doi:10.1016/s0747-7171(87)80004-4. S2CID 40499266.

semanticscholar.org

Gérard Huet: (1 June 1975) A Unification Algorithm for typed Lambda-Calculus, Theoretical Computer Science

springer.com (Global: 274^th place; English: 309^th place)

link.springer.com

Smolka, Gert (Nov 1988). Logic Programming with Polymorphically Order-Sorted Types (PDF). Int. Workshop Algebraic and Logic Programming. LNCS. Vol. 343. Springer. pp. 53–70. doi:10.1007/3-540-50667-5_58.

strictlypositive.org (Global: low place; English: low place)

McBride, Conor (October 2003). "First-Order Unification by Structural Recursion". Journal of Functional Programming. 13 (6): 1061–1076. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. Retrieved 30 March 2012.

swi-prolog.org (Global: low place; English: low place)

"Declarative integer arithmetic". SWI-Prolog. Retrieved 18 February 2024.

tu-darmstadt.de (Global: low place; English: low place)

inferenzsysteme.informatik.tu-darmstadt.de

Walther, Christoph (1985). "A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution" (PDF). Artif. Intell. 26 (2): 217–224. doi:10.1016/0004-3702(85)90029-3. Archived from the original (PDF) on 2011-07-08. Retrieved 2013-06-28.

uwaterloo.ca (Global: 3,153^rd place; English: 2,332^nd place)

cs.uwaterloo.ca

Per Martelli & Montanari (1982):
- Lewis Denver Baxter (Feb 1976). A practically linear unification algorithm (PDF) (Res. Report). Vol. CS-76-13. Univ. of Waterloo, Ontario.

web.archive.org (Global: 1^st place; English: 1^st place)

Dowek, Gilles (1 January 2001). "Higher-order unification and matching". Handbook of automated reasoning. Elsevier Science Publishers B. V. pp. 1009–1062. ISBN 978-0-444-50812-6. Archived from the original on 15 May 2019. Retrieved 15 May 2019.
Walther, Christoph (1985). "A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution" (PDF). Artif. Intell. 26 (2): 217–224. doi:10.1016/0004-3702(85)90029-3. Archived from the original (PDF) on 2011-07-08. Retrieved 2013-06-28.
F. Baader and S. Ghilardi, Unification in modal and description logics, Logic Journal of the IGPL 19 (2011), no. 6, pp. 705–730.

worldcat.org (Global: 5^th place; English: 5^th place)

search.worldcat.org

McBride, Conor (October 2003). "First-Order Unification by Structural Recursion". Journal of Functional Programming. 13 (6): 1061–1076. CiteSeerX 10.1.1.25.1516. doi:10.1017/S0956796803004957. ISSN 0956-7968. S2CID 43523380. Retrieved 30 March 2012.

Unification (computer science) (English Wikipedia)

aclweb.org (Global: low place; English: 6,793rd place)

acm.org (Global: 1,185th place; English: 840th place)

portal.acm.org

aitopics.org (Global: low place; English: low place)

arxiv.org (Global: 69th place; English: 59th place)

bu.edu (Global: 2,120th place; English: 1,328th place)

cs.bu.edu

cwi.nl (Global: low place; English: low place)

homepages.cwi.nl

doi.org (Global: 2nd place; English: 2nd place)

inria.fr (Global: 4,903rd place; English: 3,679th place)

hal.inria.fr

lsv.fr (Global: low place; English: low place)

numdam.org (Global: 8,650th place; English: 7,668th place)

polytechnique.fr (Global: low place; English: low place)

lix.polytechnique.fr

psu.edu (Global: 207th place; English: 136th place)

citeseerx.ist.psu.edu

raw.githubusercontent.com (Global: low place; English: 9,632nd place)

semanticscholar.org (Global: 11th place; English: 8th place)

api.semanticscholar.org

semanticscholar.org

springer.com (Global: 274th place; English: 309th place)

link.springer.com

strictlypositive.org (Global: low place; English: low place)

swi-prolog.org (Global: low place; English: low place)

tu-darmstadt.de (Global: low place; English: low place)

inferenzsysteme.informatik.tu-darmstadt.de

uwaterloo.ca (Global: 3,153rd place; English: 2,332nd place)

cs.uwaterloo.ca

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 5th place; English: 5th place)

search.worldcat.org

aclweb.org (Global: low place; English: 6,793^rd place)

acm.org (Global: 1,185^th place; English: 840^th place)

arxiv.org (Global: 69^th place; English: 59^th place)

bu.edu (Global: 2,120^th place; English: 1,328^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

inria.fr (Global: 4,903^rd place; English: 3,679^th place)

numdam.org (Global: 8,650^th place; English: 7,668^th place)

psu.edu (Global: 207^th place; English: 136^th place)

raw.githubusercontent.com (Global: low place; English: 9,632^nd place)

semanticscholar.org (Global: 11^th place; English: 8^th place)

springer.com (Global: 274^th place; English: 309^th place)

uwaterloo.ca (Global: 3,153^rd place; English: 2,332^nd place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 5^th place; English: 5^th place)