Get Free Shipping on orders over $79
Computing in Systems Described by Equations : Lecture Notes in Computer Science - M.J. O'Donnell

Computing in Systems Described by Equations

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 Computer Science

The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
Ideal Subjects Volume 76 : The Abstract People of AI - Olga Goriunova

RRP $270.00

$235.75

13%
OFF
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF