Computing in Systems Described by Equations
Published on 1. December 1977
Book
Paperback/Softback
XVI, 116 pages
978-3-540-08531-7 (ISBN)
Description
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 details
Series
Edition
1977 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XVI, 116 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 8 mm
Weight
213 gr
ISBN-13
978-3-540-08531-7 (9783540085317)
DOI
10.1007/3-540-08531-9
Schweitzer Classification
Content
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.