Produktbild
M. J. O'Donnell

Computing in Systems Described by Equations

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.