Statistics
Publications
50
Citations
2.4K
H-Index
25
Active since
1976
David A. Plaisted is an author at University of North Carolina at Chapel Hill specializing in computer science, computing, and mathematics.
Publications per year
1976–2018
50
50
Theorem proving with abstraction
David A. Plaisted · Artificial Intelligence · 1981 · 143 citations
Semantic confluence tests and completion methods
David A. Plaisted · Information and Control · 1985 · 124 citations
1–5 of 50