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.

refsWebsite
Global rank French rank
11doi.org
2nd place
3rd place
9acm.org
1,185th place
1,318th place
6issn.org
57th place
4th place
3sciencedirect.com
149th place
80th place
2psu.edu
207th place
929th place
2citeulike.org
low place
low place
2aitopics.org
low place
low place
2springer.com
274th place
223rd place
1eudml.org
low place
6,579th place
1ams.org
451st place
1,058th place
1inria.fr
4,903rd place
875th place
1cnr.it
6,667th place
low place

acm.org (Global: 1,185th place; French: 1,318th 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: 451st place; French: 1,058th place)

citeulike.org (Global: low 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: 6,667th place; French: low 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,579th place)

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

inria.fr (Global: 4,903rd place; French: 875th 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: 57th place; French: 4th place)

portal.issn.org

psu.edu (Global: 207th place; French: 929th 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: 149th place; French: 80th place)

springer.com (Global: 274th place; French: 223rd place)

link.springer.com