Author

David A. Plaisted

11 books found

Cover of Efficiency of Theorem Proving Strategies

Efficiency of Theorem Proving Strategies

David A. Plaisted, Yunshan Zhu · First published 1997 · Latest edition 1999

Cover of An NP-complete matching problem

An NP-complete matching problem

David A. Plaisted · First published 1979

Cover of Complete problems in the first-order predicate calculus

Complete problems in the first-order predicate calculus

David A. Plaisted · First published 1979

Cover of Inference rules for unsatisfiability

Inference rules for unsatisfiability

David A. Plaisted · First published 1979

Cover of Restricted oracles

Restricted oracles

David A. Plaisted · First published 1979

Placeholder cover for Theorem proving with abstraction

Theorem proving with abstraction

David A. Plaisted · First published 1979

Cover of Theorem proving with abstraction, part I

Theorem proving with abstraction, part I

David A. Plaisted · First published 1979

Cover of Theorem proving with abstraction, part II

Theorem proving with abstraction, part II

David A. Plaisted · First published 1979

Cover of A recursively defined ordering for proving termination of term rewriting systems

A recursively defined ordering for proving termination of term rewriting systems

David A. Plaisted · First published 1978

Cover of An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability

An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability

David A. Plaisted · First published 1978

Cover of Well-founded orderings for proving termination of systems of rewrite rules

Well-founded orderings for proving termination of systems of rewrite rules

David A. Plaisted · First published 1978