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: Lecture Notes in Computer Science, cartea 58

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

Din seria Lecture Notes in Computer Science

Preț: 12088 lei

Preț vechi: 15110 lei
-20% Nou

Puncte Express: 181
Preț estimativ în valută:
2313€ • 2397$ • 1931£

Carte tipărită la comandă

Livrare economică 21 martie-04 aprilie

 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 7 mm
Greutate: 0.2 kg
Ediția:1977
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

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.