Logic from computer science : proceedings of a workshop held November 13-17, 1989
Author(s)
Bibliographic Information
Logic from computer science : proceedings of a workshop held November 13-17, 1989
(Mathematical Sciences Research Institute publications, 21)
Springer-Verlag, c1992
- : us
- : gw
Available at / 49 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Berkeley||1989.1191091456
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC19:511.3/M8512070218845
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
"Workshop with the same title held at MSRI" -- Pref
Description and Table of Contents
- Volume
-
: us ISBN 9780387976679
Description
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.
- Volume
-
: gw ISBN 9783540976677
Description
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.
by "Nielsen BookData"