0
David A. Plaisted has written:
'Complete problems in the first-order predicate calculus' -- subject(s): Computational complexity, Predicate calculus
'The efficiency of theorem proving strategies' -- subject(s): Automatic theorem proving
'Well-founded orderings for proving termination of systems of rewrite rules' -- subject(s): Verification, Recursive programming, Computer programs
'A recursively defined ordering for proving termination of term rewriting systems' -- subject(s): Recursion theory, Computer programming, Rewriting systems (Computer science), Automatic theorem proving
'An NP-complete matching problem' -- subject(s): Data processing, Graph theory, NP-complete problems, Matching theory
What else can I help you with?
What has the author Virginia Plaisted Moulton written?
Virginia Plaisted Moulton has written: 'A history of Jay, Maine from its settlement as Phips, Canada' -- subject(s): Genealogy, History
What has the author Carol Wessels Plaisted written?
Carol Wessels Plaisted has written: 'Senior citizens & the law' -- subject(s): Legal status, laws, Older people
When did Ralph Plaisted die?
Ralph Plaisted died in 2008.
When was Ralph Plaisted born?
Ralph Plaisted was born in 1928.
When did Frederick W. Plaisted die?
Frederick W. Plaisted died in 1943.
When was Frederick W. Plaisted born?
Frederick W. Plaisted was born in 1865.
When was Trent Plaisted born?
Trent Plaisted was born on 1986-10-01.
What has the author David Mutasa written?
David Mutasa has written: 'David Mutasa'
What has the author David Salle written?
David Salle has written: 'David Salle'
What has the author David Gluck written?
David Gluck has written: 'David Gluck'
What has the author David Ferry written?
David Ferry has written: 'David Ferry'
What has the author David Fertig written?
David Fertig has written: 'David Fertig'
