Computing in systems described by equations
著者
書誌事項
Computing in systems described by equations
(Lecture notes in computer science, 58)
Springer-Verlag, 1977
- : gw
- : us
大学図書館所蔵 件 / 全44件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [109]-111
内容説明・目次
目次
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.
「Nielsen BookData」 より