点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,计算机/网络,计算机理论,

作者：

出 版 社： 湖南文艺出版社

出版时间：字数：版次：页数： 615印刷时间：开本：印次：纸张： 胶版纸I S B N ： 3540425543包装： 平装编辑推荐

内容简介

"This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.

The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types. "

作者简介

目录

Invited Papers

Contributed Papers

Descriptive Complexity

Semantics

Higher-Order Programs

Modal Logics

Verification

Automata

Lambda-Calculus

Induction

Equational Calculus

Constructive Theory of Types

Author Index

媒体评论

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。