【24h】

Preface

机译:前言

获取原文
获取外文期刊封面目录资料

摘要

The Symposium on Logical Foundations of Computer Science series provides a forum for the fast-growing body of work in the logical foundations of computer science, e.g., those areas of fundamental theoretical logic related to computer science. The LFCS series began with "Logic at Botik," Pereslavl-Zalessky, 1989, which was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver). After that, the organization passed to Anil Nerode. Currently LFCS is governed by a Steering Committee consisting of Anil Nerode (General Chair), Stephen Cook, Dirk van Dalen, Yuri Matiyasevich, J. Alan Robinson, Gerald Sacks, and Dana Scott. The 2016 Symposium on Logical Foundations of Computer Science (LFCS 2016) took place in the Wyndham Deerfield Beach Resort, Deerfield Beach, Florida, USA, during January 4-7. This volume contains the extended abstracts of talks selected by the Program Committee for presentation at LFCS 2016.
机译:《计算机科学的逻辑基础研讨会》系列为计算机科学的逻辑基础(例如与计算机科学相关的基本理论逻辑领域)中快速发展的工作体提供了一个论坛。 LFCS系列始于Pereslavl-Zalessky于1989年创作的《逻辑在Botik》,该书由Albert R. Meyer(MIT)和Michael Taitslin(Tver)共同组织。之后,该组织移交给了Anil Nerode。目前,LFCS由指导委员会管理,该指导委员会由Anil Nerode(主席),Stephen Cook,Dirk van Dalen,Yuri Matiyasevich,J.Alan Robinson,Gerald Sacks和Dana Scott组成。 2016年计算机科学逻辑基础研讨会(LFCS 2016)于1月4日至7日在美国佛罗里达州迪尔菲尔德比奇的温德姆迪尔菲尔德比奇度假酒店举行。此卷包含计划委员会选择的演讲的扩展摘要,以在LFCS 2016上进行演示。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号