World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
31
Citations
4818
World Ranking
13553
National Ranking
5409

Research.com Recognitions

  • 2000 - Fellow of the American Association for the Advancement of Science (AAAS)

Best Publications

  • A Structure-preserving Clause Form Translation

    Unknown

  • Completion Without Failure

    Leo Bachmair;Nachum Dershowitz;David A. Plaisted

  • Theorem proving with abstraction

    Unknown

  • Semantic confluence tests and completion methods

    Unknown

  • Equational reasoning and term rewriting systems

    Unknown

  • Rewrite, rewrite, rewrite, rewrite, rewrite, …

    Nachum Dershowitz;Stéphane Kaplan;David A. Plaisted

  • Termination orderings for associative-commutative rewriting systems

    Unknown

  • Ordered semantic hyper linking

    Unknown

  • New NP-hard and NP-complete polynomial and integer divisibility problems

    Unknown

  • The occur-check problem in Prolog

    Unknown

  • Equational programming

    Nachum Dershowitz;D. A. Plaisted

  • A heuristic triangulation algorithm

    Unknown

  • Rewriting

    Unknown

  • Logic Programming cum Applicative Programming.

    Nachum Dershowitz;David A. Plaisted

  • PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ.

    Joseph Goguen;David Plaisted;Jose Meseguer

  • Rigid E -unification: NP-completeness and applications to equational matings

    Unknown

  • Associative-commutative rewriting

    Nachum Dershowitz;Jien Hsiang;N. Alan Josephson;David A. Plaisted

  • The Travelling Salesman Problem and Minimum Matching in the Unit Square

    Kenneth J. Supowit;Edward M. Reingold;David A. Plaisted

  • Sparse complex polynomials and polynomial reducibility

    Unknown

  • A satisfiability procedure for quantified boolean formulae

    David A. Plaisted;Armin Biere;Yunshan Zhu

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Recently Published Articles