Computing in Systems Described by Equations by M.J. O'DonnellComputing in Systems Described by Equations by M.J. O'Donnell

Computing in Systems Described by Equations

byM.J. O'Donnell

Paperback | December 1, 1977

Pricing and Purchase Info

$25.58 online 
$25.95 list price
Earn 128 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores

Title:Computing in Systems Described by EquationsFormat:PaperbackDimensions:111 pagesPublished:December 1, 1977Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540085319

ISBN - 13:9783540085317

Look for similar items by category:


Table of Contents

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.