The Online Books Page

Online Books by

David A. Plaisted

Books from the extended shelves:

• Plaisted, David A.: Complete problems in the first-order predicate calculus / (Urbana, Ill. : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979) (page images at HathiTrust)
• Plaisted, David A.: An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability / (Urbana : Dept. of Computer Science, Univerity of Illinois at Urbana-Champaign, 1978) (page images at HathiTrust)
• Plaisted, David A.: Inference rules for unsatisfiability / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979) (page images at HathiTrust; US access only)
• Plaisted, David A.: An NP-complete matching problem / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979) (page images at HathiTrust)
• Plaisted, David A.: A recursively defined ordering for proving termination of term rewriting systems / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1978) (page images at HathiTrust)
• Plaisted, David A.: Restricted oracles / (Urbana, Ill. : Dept. of Computer Science, University of Illinois at Urbana-Champaign, [1979]), also by University of Illinois at Urbana-Champaign. Dept. of Computer Science and National Science Foundation (U.S.) (page images at HathiTrust)
• Plaisted, David A.: Theorem proving with abstraction, part I / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979) (page images at HathiTrust)
• Plaisted, David A.: Theorem proving with abstraction, part II / (Urbana : Dept. of Computer Science, University of Illinois at Champaign-Urbana, 1979) (page images at HathiTrust)
• Plaisted, David A.: Well-founded orderings for proving termination of systems of rewrite rules / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1978) (page images at HathiTrust)

See also what's at your library, or elsewhere.

Help with reading books -- Report a bad link -- Suggest a new listing

Home -- Search -- New Listings -- Authors -- Titles -- Subjects -- Serials

Books -- News -- Features -- Archives -- The Inside Story

Edited by John Mark Ockerbloom (onlinebooks@pobox.upenn.edu)
OBP copyrights and licenses.