第二届运动会、自动机、逻辑和形式验证国际研讨会论文集
摘要
出版物: -
arXiv电子打印 发布日期: 2011年6月 内政部: -
10.48550/arXiv.1106.0814 arXiv公司: -
arXiv公司:1106.0814 书目代码: -
2011年8月11日1106.0814D 关键词: -
计算机科学——计算机科学中的逻辑; F.4.1; F.4.3; F.1.1; D.2.4款
电子打印: EPTCS 542011年