Computing in systems described by equations [electronic resource] /
edited by Michael J. O'Donnell.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1977.
- XVI, 116 p. online resource.
- Lecture Notes in Computer Science, 58 0302-9743 ; .
- Lecture Notes in Computer Science, 58 .
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.
9783540359838
10.1007/3-540-08531-9 doi
Computer science.
Mathematics.
Computer Science.
Computer Science, general.
Mathematics, general.
QA75.5-76.95
004
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.
9783540359838
10.1007/3-540-08531-9 doi
Computer science.
Mathematics.
Computer Science.
Computer Science, general.
Mathematics, general.
QA75.5-76.95
004