Cantitate/Preț
Produs
Total produse
Vezi coșul
Computing in Systems Described by Equations de M. J. O'Donnell

Computing in Systems Described by Equations

Autor M. J. O'Donnell
en Limba Engleză Paperback – dec 1977

Preț: 11676 lei

Preț vechi: 14595 lei
-20% Nou

Puncte Express: 175
Preț estimativ în valută:
2066€ • 2410$ • 1814£

Carte tipărită la comandă

Livrare economică 15-29 ianuarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540085317
ISBN-10: 3540085319
Pagini: 132
Ilustrații: XVI, 116 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:1977
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.