第六届游戏、自动机、逻辑与形式化验证国际研讨会会议录
计算机科学中的逻辑
2015-09-24 v1 形式语言与自动机理论
摘要
本卷收录了第六届游戏、自动机、逻辑与形式化验证国际研讨会（GandALF 2015）的会议录。该研讨会于2015年9月21日至22日在意大利热那亚举行。会议录包含三场邀请报告的摘要以及经过严格评审被会议接受用于展示的13篇论文。被接受论文的主题涵盖算法博弈论、自动机理论、形式化验证以及模态与时序逻辑。
引用
@article{arxiv.1509.06858,
title = {Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification},
author = {Javier Esparza and Enrico Tronci},
journal= {arXiv preprint arXiv:1509.06858},
year = {2015}
}