Logic Programming: Operational Semantics and Proof Theory

Name: Logic Programming: Operational Semantics and Proof Theory
Rating: 5
ISBN: 9780521607544

ISBN: 9780521607544 出版年：1992 页码：118 James H Andrews Cambridge University Press

知识网络

知识图谱网络

内容简介

1. Introduction 2. Operational semantics 3. Characterizing parallel systems 4. Characterizing sequential systems 5. Approaches to incompleteness 6. Summary and future directions Examples Index of definitions Index.

Amazon评论

作品图片

推荐图书