Zurück
Vor

Computing in Systems Described by Equations
Kurzinformation
Sprache:
Englisch
ISBN:
3540085319
Verlag:
Seitenzahl:
132
Auflage:
-
Erschienen:
1977-12-01



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:
-

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 zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-82%
frontend/listing/product-box/box-product-slider.tpl
-75%
- paperback
- 206 Seiten
- Erschienen 1989
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Jonathan Ian Richards
27,94 €
111,28 €
frontend/listing/product-box/box-product-slider.tpl
-89%
- hardcover
- 608 Seiten
- Erschienen 1992
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Labahn, George
18,01 €
160,49 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-97%
- Gebunden
- 2264 Seiten
- Erschienen 2012
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Rozenberg, Grzegorz und Kok...
30,08 €
1.176,99 €
frontend/listing/product-box/box-product-slider.tpl
-97%
- Gebunden -
- Erschienen 2016
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Möller, Dietmar P. F.
3,00 €
106,99 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-84%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-20%
- paperback
- 656 Seiten
- Erschienen 1998
- CRC Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Koonin, Steven E.
82,98 €
103,98 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-93%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-54%
- Hardcover
- 632 Seiten
- Erschienen 1996
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Wanner, Gerhard;Hairer, Ernst;
108,59 €
235,39 €
frontend/listing/product-box/box-product-slider.tpl
-54%
- Gebunden
- 500 Seiten
- Erschienen 2009
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Jacobson, Michael J., Jr.
27,10 €
58,80 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-94%
- Hardcover
- 176 Seiten
- Erschienen 1990
- Friedrich Vieweg & Sohn...
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Rannacher, Rolf;Hackbusch, ...
3,36 €
54,99 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-63%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-92%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-79%
- paperback
- 232 Seiten
- Erschienen 1991
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Schmidt, Wolfgang M.
11,85 €
57,23 €
frontend/listing/product-box/box-product-slider.tpl