IHR WARENKORB IST AKTUELL LEER.

Haben Sie noch nichts passendes gefunden? Stöbern Sie durch unser komplettes Sortiment.

Oder melden Sie sich an bzw. registrieren Sie sich.

Ihre Vorteile

Kostenlose Lieferung
Kauf auf Rechnung
Ex Libris Tiefpreis
Filiallieferung und 650+ Abholorte
Rabatt-Bons als Club-Mitglied

Computing in Systems Described by Equations

Von:

M. J. O'Donnell

Beschreibung

Inhalt 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 definition...

Format auswählen

Kartonierter Einband (Kt)CHF 13.80

Kartonierter Einband (Kt)

CHF13.80

TIEFPREIS

CHF13.80

Auslieferung erfolgt in der Regel innert 1 Woche.

Kostenlose Lieferung

Beschreibung

Inhalt
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.