Code: 05273532
I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VI ... more
English
10.54 €
RRP: 11.38 €
You save 0.84 €

You get 26 loyalty points
Book synopsis
I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.
Book details
Book category Books in English Computing & information technology Computer science
10.54 €
English
Collection points Bratislava a 13643 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
27290 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )