安吉洛·蒙塔纳里（编辑）;马格丽塔·那不勒斯（编辑）;帕伦特，米姆（编辑） 特刊：游戏、自动化、逻辑和形式验证（GandALF 2010）。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述，选出了一些论文。 （英语） Zbl 1250.68042号 发现的国际期刊。计算。科学。23，第3期，555-711（2012）。 本卷的文章将单独进行审查。 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 91-06 与博弈论、经济学和金融相关的会议记录、会议记录、收藏品等 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 形式语言和自动机 91A05型 2人游戏 91A43型 涉及图形的游戏 91A24型 位置游戏（追逐和回避等） 91A15型 随机博弈，随机微分博弈 03B80号 逻辑的其他应用 03B44号 时间逻辑 03B45号 模态逻辑（包括规范逻辑） 05年3月 与逻辑问题相关的自动机和形式文法 PDF格式BibTeX公司 XML格式