Get Free Shipping on orders over $0
Lecture Notes in Computer Science : Lecture Notes in Computer Science - M.J. O'Donnell

Lecture Notes in Computer Science

By: M.J. O'Donnell

Paperback | 1 December 1977

At a Glance

Paperback


$19.99

or 4 interest-free payments of $5.00 with

Ships in 5 to 7 business days

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.

More in Mathematics

Mathematics for Technicians : 7th Edition - Blair Alldis

RRP $94.95

$92.75

The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
Nelson WAmaths Mathematics Applications : 11th Edition - Amanda Pettitt
The Art of Gathering : How We Meet and Why It Matters - Priya Parker
How to Win At Chess : The Ultimate Guide for Beginners and Beyond - Levy Rozman
Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman
Grade 4 Geometry and Measurement : Kumon Math Workbooks - KUMON PUBLISHING
Calculus : 3rd Edition - Michael Spivak

RRP $97.95

$84.75

13%
OFF
Grade 4 Word Problems : Kumon Math Workbooks - KUMON PUBLISHING

RRP $16.99

$13.75

19%
OFF