
Term Rewriting
Hubert Comon, Jean-Pierre Jouannaud
₹5,490

Theory and Applications: International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999 Revised
by Hubert Comon, Claude Marche, Ralf Treinen
Free delivery. Nothing extra to pay at checkout.
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming.
Description supplied by the publisher.