Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science)
暫譯: 計算機科學邏輯：第七屆研討會，CSL '93，英國斯旺西，1993年9月13日至17日。精選論文（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 1994-07-20
- 售價: $2,470
- 貴賓價: 9.5 折 $2,347
- 語言: 英文
- 頁數: 336
- 裝訂: Paperback
- ISBN: 3540582770
- ISBN-13: 9783540582779
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
商品描述(中文翻譯)
本卷包含於1993年9月在英國斯旺西舉行的歐洲計算機科學邏輯協會年會（CSL '93）上發表的一系列論文的最終版本。所包含的21篇完整論文是從總共62篇投稿中選出的，並對計算機科學邏輯研究的整個領域做出了重要貢獻。這些論文專注於集合約束、λ演算、過程代數、程式語義、直覺邏輯、固定點邏輯、等價問題、霍恩子句、量詞以及證明轉換等主題。
