Handbook of Automated Reasoning

Handbook of Automated Reasoning
Format
Hardback
Publisher
Elsevier Science & Technology
Country
United States
Published
21 June 2001
Pages
1188
ISBN
9780444508126

Handbook of Automated Reasoning

6 ½ X 9 7/16 in Part V. Higher-order logic and logical frameworks.

Chapter 15. Classical Type Theory (Peter B. Andrews).

  1. Introduction to type theory.

  2. Metath eoretical foundations.

  3. Proof search.

  4. Conclusion.

Bibliography. Index.

Chapter 16. Higher-Order Unification and Matching (Gilles Dowek) .

  1. Type Theory and Other Set Theories.

  2. Simply Typed &lgr;-calculus.

  3. Undecidab ility.

  4. Huet’s Algorithm.

  5. Scopes Ma nagement.

  6. Decidable Subcases.

  7. Unif ication in &lgr;-calculus with Dependent Types.

Bibliogr aphy. Index.

Chapter 17. Logical Frameworks (Frank Pfenning).

  1. Introduction.

  2. Abstract syntax.

  3. Judgments and deductions.

  4. Meta-programming and proof search.

  5. Representing meta-theory.

  6. Appendix: the simply-typed

This item is not currently in-stock. It can be ordered online and is expected to ship in approx 2 weeks

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.