Research Catalog

Solving higher-order equations : from logic to programming

Title
Solving higher-order equations : from logic to programming / Christian Prehofer.
Author
Prehofer, Christian, 1967-
Publication
Boston : Birkhauser, [1998], ©1998.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.L63 P74 1998Off-site

Holdings

Details

Description
vii, 186 pages; 25 cm.
Series Statement
Progress in theoretical cpmputer science
Uniform Title
Progress in theoretical computer science.
Subject
  • Computer logic
  • Declarative programming
  • Logic, Symbolic and mathematical
Bibliography (note)
  • Includes bibliographical references (p. [163]-181) and index.
Contents
1. Introduction -- 2. Preview -- 3. Preliminaries -- 4. Higher-Order Equational Reasoning -- 5. Decidability of Higher-Order Unification -- 6. Higher-Order Lazy Narrowing -- 7. Variations of Higher-Order Narrowing -- 8. Applications of Higher-Order Narrowing -- 9. Concluding Remarks.
ISBN
  • 0817640320
  • 3764340320
LCCN
97031142
OCLC
ocm37464280
Owning Institutions
Columbia University Libraries