-
Anglický jazyk
Computing in Systems Described by Equations
Autor: M. J. O'Donnell
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
9.89 €
bežná cena: 10.99 €
O knihe
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.
- Vydavateľstvo: Springer Berlin Heidelberg
- Rok vydania: 1977
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783540085317
Nemecký jazyk 
