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

The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
How to Win At Chess : The Ultimate Guide for Beginners and Beyond - Levy Rozman
The Selfish Gene : 40th Anniversary Edition - Richard Dawkins

RRP $32.95

$26.99

18%
OFF
Oxford Maths for Australian Schools Year 3 Value Pack : 3rd Edition - Annie Facchinetti
Simple Quadrature : For Closed Planar Shapes - James R Warren
Statistics and Data Handling for Biologists : A Student's Guide - Neil Millar
Linear Algebra - Jim L. Brown

$150.75

Woo's Wonderful World of Maths - Eddie Woo

RRP $29.99

$24.99

17%
OFF
Oxford Maths for Australian Schools Year 4 Value Pack : 3rd Edition - Annie Facchinetti
Oxford Maths for Australian Schools Value Pack Year 5 : Oxford Maths - Brian Murray
Oxford Maths for Australian Schools Year 6 Value Pack : 3rd Edition - Brian Murray
Algebra of the Tetralemma - Stephen A. Clark
BIOKYBERNETIKA II - Jochen Mau

$617.75

Introducing Category Theory - Peter Smith