Computing in systems described by equations [electronic resource] / edited by Michael J. O'Donnell.
Material type:
TextSeries: Lecture Notes in Computer Science ; 58Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Description: XVI, 116 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540359838Subject(s): Computer science | Mathematics | Computer Science | Computer Science, general | Mathematics, generalAdditional physical formats: Printed edition:: No titleDDC classification: 004 LOC classification: QA75.5-76.95Online resources: Click here to access online
Contents:
In:
Springer eBooks
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.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK4197 |
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.
There are no comments on this title.