Get Free Shipping on orders over $79
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

How to Win At Chess : The Ultimate Guide for Beginners and Beyond - Levy Rozman
The Score : How to Stop Playing Someone Else's Game - C. Thi Nguyen
A Little History of Mathematics : Little Histories - Snezana Lawrence
The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
Statistics and Data Handling for Biologists : A Student's Guide - Neil Millar
Dynamics of Marine Structures - Yingguang  Wang

RRP $503.95

$442.99

12%
OFF
Calculus : 9th edition - Early Transcendentals, Metric - James Michael Stewart
General Topology for Beginners - Jay  Mehta
Reinforcement Learning Foundations - Aviv  Tamar

RRP $99.95

$89.75

10%
OFF
Discrete Mathematics with Applications, Metric Edition : 5th edition - Susanna S. Epp