Logic from computer science : proceedings of a workshop held November 13-17, 1989
著者
書誌事項
Logic from computer science : proceedings of a workshop held November 13-17, 1989
(Mathematical Sciences Research Institute publications, 21)
Springer-Verlag, c1992
- : us
- : gw
大学図書館所蔵 件 / 全49件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
"Workshop with the same title held at MSRI" -- Pref
内容説明・目次
- 巻冊次
-
: us ISBN 9780387976679
内容説明
Topics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional Programs by Solomon Feferman, Reals and Forcing with Elementary Topos by the well known mathematician, Saunders MacLane and Ieke Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode.
- 巻冊次
-
: gw ISBN 9783540976677
内容説明
This text represents the proceedings of a workshop held in 1989 and covers such areas as computability and the complexity of higher type functions, logics for termination and correctness of functional programs and concurrent computation as game playing.
「Nielsen BookData」 より