|  |
| |
| Artikel-Nr.:
858A-9783540085317 Herst.-Nr.:
9783540085317 EAN/GTIN:
9783540085317 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | M.J. O'Donnell | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, bücher für datenbanken - englischsprachig, Informatik, Mathematik, EDV; Gleichung; Mathematische Logik; Programmiersprache; equation; Function; Language; logic; programming language; proof; Semantics; Übersetzer (EDV), Computing, EDV, Gleichung, Mathematische Logik, Programmiersprache, Systems, equation, function |
| | |
| |