Sign In

Login

Password

Forgot Password ? Sign Up

Unification (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Unification" in French language version.

Last modified:

Ref.Un. Ref.Website
Global rank French rank
1411doi.org
2nd place
3rd place
139acm.org
1,200th place
1,303rd place
96issn.org
33rd place
4th place
43sciencedirect.com
137th place
99th place
22psu.edu
299th place
919th place
22citeulike.org
4,427th place
low place
22aitopics.org
low place
low place
22springer.com
182nd place
214th place
11eudml.org
low place
6,863rd place
11ams.org
434th place
725th place
11inria.fr
6,372nd place
1,075th place
11cnr.it
5,792nd place
9,238th place

acm.org (Global: 1,200th place; French: 1,303rd place)

doi.acm.org

  • Kevin Knight, « Unification: A Multidisciplinary Survey », ACM Comput. Surv., vol. 21, no 1,‎ , p. 93–124 (ISSN 0360-0300, DOI 10.1145/62029.62030, lire en ligne, consulté le )
  • Dag Prawitz, Ha\a a kan Prawitz et Neri Voghera, « A Mechanical Proof Procedure and Its Realization in an Electronic Computer », J. ACM, vol. 7, no 2,‎ , p. 102–128 (ISSN 0004-5411, DOI 10.1145/321021.321023, lire en ligne, consulté le )
  • J. A. Robinson, « A Machine-Oriented Logic Based on the Resolution Principle », J. ACM, vol. 12, no 1,‎ , p. 23–41 (ISSN 0004-5411, DOI 10.1145/321250.321253, lire en ligne, consulté le )
  • Jeffrey Scott Vitter et Roger A. Simons, « Parallel Algorithms for Unification and Other Complete Problems in P », Proceedings of the 1984 Annual Conference of the ACM on The Fifth Generation Challenge, ACM, aCM '84,‎ , p. 75–84 (ISBN 089791144X, DOI 10.1145/800171.809607, lire en ligne, consulté le )
  • M. S. Paterson et M. N. Wegman, « Linear Unification », Proceedings of the Eighth Annual ACM Symposium on Theory of Computing, ACM, sTOC '76,‎ , p. 181–186 (DOI 10.1145/800113.803646, lire en ligne, consulté le )
  • Alberto Martelli et Ugo Montanari, « An Efficient Unification Algorithm », ACM Trans. Program. Lang. Syst., vol. 4, no 2,‎ , p. 258–282 (ISSN 0164-0925, DOI 10.1145/357162.357169, lire en ligne, consulté le )

dl.acm.org

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

ams.org (Global: 434th place; French: 725th place)

citeulike.org (Global: 4,427th place; French: low place)

  • DE Knuth et PB Bendix, Computational problems in abstract algebra, Pergamon Press, (lire en ligne), p. 263–297
  • Jacques Corbin et Michel Bidoit, « A Rehabilitation of Robinson's Unification Algorithm », IFIP congress,‎ , p. 909–914 (lire en ligne, consulté le )

cnr.it (Global: 5,792nd place; French: 9,238th place)

puma.isti.cnr.it

  • Martelli, Alberto et Montanari, Ugo, « Unification in linear time and space: a structured presentation », Internal note IEI-B76-16,‎ (lire en ligne, consulté le )

doi.org (Global: 2nd place; French: 3rd place)

dx.doi.org

eudml.org (Global: low place; French: 6,863rd place)

  • Jacques Herbrand, « Recherches sur la théorie de la démonstration », Thèse,‎ (lire en ligne, consulté le )

inria.fr (Global: 6,372nd place; French: 1,075th place)

gallium.inria.fr

  • Gérard Huet, Résolution d’équations dans les langages d’ordre 1, 2 ..., Omega, Université Paris VII (lire en ligne)

issn.org (Global: 33rd place; French: 4th place)

portal.issn.org

psu.edu (Global: 299th place; French: 919th place)

citeseerx.ist.psu.edu

  • Franz Baader et Wayne Snyder, Unification Theory, (lire en ligne), p. 443
  • Franz Baader et Wayne Snyder, Unification Theory, (lire en ligne), p. 446

sciencedirect.com (Global: 137th place; French: 99th place)

springer.com (Global: 182nd place; French: 214th place)

link.springer.com