第三届博弈、自动机、逻辑与形式验证国际研讨会论文集
计算机科学中的逻辑
2012-10-09 v1 计算机科学与博弈论
摘要
本卷收录了第三届博弈、自动机、逻辑与形式验证国际研讨会（GandALF）的论文集，该会议于 2012 年 9 月 6 日至 8 日在意大利那不勒斯举行。GandALF 由一群关注数理逻辑、自动机理论、博弈论及其在复杂系统规范、设计与验证中应用的意大利计算机科学家发起。其旨在提供一个论坛，使来自不同领域且可能具有不同背景的人员能够进行富有成效的交流。尽管该研讨会的构想源于意大利研究社区，但鉴于会议委员会的组成及议程安排，该活动具有真正的国际性质。
引用
@article{arxiv.1210.2028,
title = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification},
author = {Marco Faella and Aniello Murano},
journal= {arXiv preprint arXiv:1210.2028},
year = {2012}
}