Background : computational structures
Author(s)
Bibliographic Information
Background : computational structures
（Handbook of logic in computer science, v. 2）
Clarendon Press, 1992
Available at / 71 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C||Handbook-17||292063336
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc20:004/ab832070310847
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in
logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.
Table of Contents
- J.W. Klop: Term rewriting systems
- H.P. Barendregt: Lambda calculi with types
- D.M. Gabbay: Elements of algorithmic proof
- Lawrence C. Paulson: Designing a theorem prover
- Colin Stirling: Modal and temporal logics.
by "Nielsen BookData"