Visit our Christmas Gift Finder
Solving Higher-Order Equations: From Logic to Programming - Progress in Theoretical Computer Science (Hardback)
  • Solving Higher-Order Equations: From Logic to Programming - Progress in Theoretical Computer Science (Hardback)
zoom

Solving Higher-Order Equations: From Logic to Programming - Progress in Theoretical Computer Science (Hardback)

(author)
£54.00
Hardback 200 Pages / Published: 31/12/1997
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
This monograph develops techniques for equational reasoning and declarative programming based on higher-order logic. The author presents a framework for the full integration of declarative programming models and shows its application. On the technical side, he integrates the main results of both worlds. The book presents completeness results as common in logic programming and also generalizes evaluation strategies found in current functional programming languages to this setting. The book includes a thorough introduction to higher-order equational logic, higher-order rewriting, and unification. This followed by a stepwise development from general equational reasoning toward effective methods for declarative programming in higher-order logic and lambda-calculus. Another important, complementing, result shows that higher order unification, the basic inference engine in logic programming, is decidable for programming applications. The text is aimed at researchers and advanced students in computer science and mathematics with interests in declarative programming, symbolic computation, term rewriting, equational reasoning, and theorem proving. It can provide a firm basis for a variety of graduate course in logic and theoretical computer science.

Publisher: Birkhauser Verlag AG
ISBN: 9783764340322
Number of pages: 200

You may also be interested in...

Mathematical Techniques
Added to basket
Probability and Random Processes
Added to basket
Mathematics for Economics and Finance
Added to basket
Stochastic Differential Equations
Added to basket
Mathematics for Biological Scientists
Added to basket
Advanced Engineering Mathematics
Added to basket
A First Course in Coding Theory
Added to basket
Chaos
Added to basket
£10.99
Paperback
Chaos: A Very Short Introduction
Added to basket
Probability
Added to basket
£26.49
Paperback
Mathematics for Economists
Added to basket
Computational Science and Engineering
Added to basket
Linear Algebra
Added to basket
£31.49
Paperback
Essential Medical Statistics
Added to basket

Please sign in to write a review

Your review has been submitted successfully.