Computing in Systems Described by Equations
Kurzinformation
Sprache:
Englisch
ISBN:
3540085319
Verlag:
Seitenzahl:
132
Auflage:
-
Erschienen:
1977-12-01
bestellen
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:
-
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.
Neu
10,69 €
Entdecke mehr zum Thema
