Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 01. Dezember 1977 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 213 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540085317 |
| Seiten | 116 |
Schlagwörter
Herstellerinformationen
Bekannt durch
