Higher‑order Unification, Lambda Calculus, Rewriting Systems, Logic Programming, Constraint Solving, Formal Methods, Theoretical Computer Science, Birkhäuser Computer Science, Equational Reasoning, Aït‑Kaci Technical Library from Robert McLean

New In

Solving Higher-Order Equations

Solving Higher-Order Equations

by Christian Prehofer

Condition
Like New to New. Immaculate, uncracked, and flawless. Crisp pages, tight binding, and pristine boards. An exceptional, near‑mi
Published
1998
ISBN
9780817640323
Quantity available
1
Seller
Robert McLean
Surrey, British Columbia, CAN
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item price
A$879.99

Show details

Description:
Solving Higher‑Order Equations: From Logic to Programming Christian Prehofer Birkhäuser, 1997 ISBN 0817640320 / 9780817640323 Language: English Book Description A specialized monograph in theoretical computer science, presenting a rigorous study of higher‑order unification and its applications to logic and programming. Prehofer develops the foundations of higher‑order rewriting, constraint solving, and the algorithmic treatment of equations in typed lambda calculi. The work sits at… Read more about this item
Item price
A$879.99