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.
CHF 15.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-08531-7
- EAN: 9783540085317
- Produktnummer: 3256377
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1977
- Seitenangabe: 132 S.
- Masse: H23.5 cm x B15.5 cm x D0.7 cm 213 g
- Auflage: 1977
- Abbildungen: Paperback
- Gewicht: 213
1 weiteres Werk von M. J. O'Donnell:
Bewertungen
Anmelden