David Plaisted

David Plaisted

University of North Carolina Chapel Hill - Chapel Hill / United States
Others
AD Scientific Index ID: 1576914
person_outline David Plaisted's MOST POPULAR ARTICLES
1-) A structure-preserving clause form translationDA Plaisted, S GreenbaumJournal of Symbolic Computation 2 (3), 293-304, 19867921986
2-) Completion without failureL Bachmair, N Dershowitz, DA PlaistedRewriting Techniques, 1-30, 19893931989
3-) Theorem proving with abstractionDA PlaistedArtificial Intelligence 16 (1), 47-108, 19812651981
4-) Rewriting.N Dershowitz, DA PlaistedHandbook of Automated Reasoning 1, 535-610, 20012642001
5-) Semantic confluence tests and completion methodsDA PlaistedInformation and Control 65 (2-3), 182-215, 19852061985