Blick ins Buch

Computing in Systems Described by Equations

M.J. O'Donnell (Autor)

Buch | Softcover

XVI, 116 Seiten

1977
Springer Berlin (Verlag)
9783540085317 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Erscheint lt. Verlag	1.12.1977
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XVI, 116 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	195 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Mathematik
Schlagworte	computing • EDV • Equation • Function • Gleichung • language • Logic • Mathematische Logik • Programmiersprache • Programming language • Proof • Semantics • Systems • Übersetzer (EDV)
ISBN-13	9783540085317 / 9783540085317
Zustand	Neuware