Code: 01384320
First book on advanced topics in term rewriting Covers the newest techniques for proving termination of rewrite systems Contains a comprehensive chapter on conditional term rewriting systems Contains a state-of-the-art survey of m ... more
62.28 €
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
You get 154 loyalty points
First book on advanced topics in term rewriting Covers the newest techniques for proving termination of rewrite systems Contains a comprehensive chapter on conditional term rewriting systems Contains a state-of-the-art survey of modularity in term rewriting Presents a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.
Book category Books in English Computing & information technology Computer science Computer architecture & logic design
62.28 €
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
Shopping cart ( Empty )