Computing in Systems Described by Equations
Seiten
1977
|
1977
Springer Berlin (Verlag)
978-3-540-08531-7 (ISBN)
Springer Berlin (Verlag)
978-3-540-08531-7 (ISBN)
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-10 | 3-540-08531-9 / 3540085319 |
ISBN-13 | 978-3-540-08531-7 / 9783540085317 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
der Ausbildungsbegleiter
Buch | Hardcover (2023)
Rheinwerk (Verlag)
39,90 €