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
70.74 €
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 175 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 Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design
70.74 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
Nákupný košík ( prázdny )