Computing in systems described by equations

Michael J. O’Donnell (eds.)9780387085319, 0387085319

Table of contents :
Chapter I: Introduction….Pages 1-3
Chapter II: Syntax, semantics and proof theory for equational logic….Pages 4-17
Chapter III: Subtree replacement systems….Pages 18-27
Chapter IV: The confluence property and the Church-Rosser property….Pages 28-39
Chapter V: Termination….Pages 40-53
Chapter VI: Costs of reduction sequences….Pages 54-65
Chapter VII: Schematic definitions of SRSs….Pages 66-71
Chapter VIII: Recursively defined functions….Pages 72-79
Chapter IX: Applications of SRS theory to LISP and lucid….Pages 80-88
Chapter X: Another approach to confluence, termination, optimality….Pages 89-108