Zurück
Vor
Computing in Systems Described by Equations
Kurzinformation
Sprache:
Englisch
ISBN:
3540085319
Verlag:
Seitenzahl:
132
Auflage:
-
Erschienen:
1977-12-01
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Computing in Systems Described by Equations
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.
Produktdetails
Einband:
Kartoniert
Seitenzahl:
132
Erschienen:
1977-12-01
Sprache:
Englisch
EAN:
9783540085317
ISBN:
3540085319
Verlag:
Gewicht:
213 g
Auflage:
-
Verwandte Sachgebiete:
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Neu
10,69 €
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 352 Seiten
- Wiley
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Marshall, Brandeis Hill (Re...
8,81 €
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 352 Seiten
- Wiley
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Looper, Jen (Boston Univers...
5,95 €
frontend/listing/product-box/box-product-slider.tpl