计算机科学>计算机科学中的逻辑
标题: 第二届运动会、自动机、逻辑和形式验证国际研讨会论文集
摘要: 本卷包含《第二届国际游戏、自动机、语言和形式验证研讨会论文集》(GandALF 2011)。 会议于2011年6月15日至17日在意大利阿马尔菲海岸(Minori)举行。 甘道夫研讨会的目的是为来自不同领域和背景的研究人员提供一个论坛,他们对博弈论、数学逻辑、自动机理论及其在复杂系统的规范、设计和验证中的应用有着共同的兴趣。 本论文集包含三次受邀演讲和十九篇定期论文的摘要,这些论文是根据原创性、质量和与研讨会主题的相关性,经过严格的审查过程挑选出来的。