Lukasiewicz mu-Calculus
Lukasiewicz mu-Calculus
复制标题
Lukasiewicz mu 微积分
DOI：
10.4204/eptcs.126
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Arnaud Carayol
中科院分区：
文献类型：
--
作者：
D. Baelde;Arnaud Carayol
本卷包含2013年9月1日在意大利都灵举行的第九届计算机科学定点研讨会的会议记录。以往的讲习班在布尔诺（1998年，MFCS/CSL讲习班）、巴黎（2000年，LC讲习班）、佛罗伦萨（2001年，PLI讲习班）、哥本哈根（2002年，LICS（FLoC）讲习班）、华沙（2003年，ETAPS讲习班）、科英布拉（2009年，CSL讲习班）、布尔诺（2010年，MFCS-CSL讲习班）、塔林（2012年，CSL讲习班）举办。不动点在计算机科学的几个领域中起着基础性的作用。它们被用来证明（共）递归定义和相关的推理技术。不动点的构造和性质已经在许多不同的环境中进行了研究，例如：编程语言的设计和实现，逻辑，验证，数据库。本次研讨会的目的是为研究人员提供一个论坛，向那些研究或应用不动点理论的计算机科学和逻辑社区的成员介绍他们的结果。
This volume contains the proceedings of the Ninth Workshop on Fixed Points in Computer Science which took place on the September 1st, 2013 in Torino, Italy as a CSL-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop), Coimbra (2009, CSL workshop), Brno (2010, MFCS-CSL workshop), Tallinn (2012, CSL workshop). Fixed points play a fundamental role in several areas of computer science. They are used to justify (co)recursive definitions and associated reasoning techniques. The construction and properties of fixed points have been investigated in many different settings such as: design and implementation of programming languages, logics, verification, databases. The aim of this workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points.