区间图的FO模型检验
摘要
出版物: -
arXiv电子打印 发布日期: 2013年2月 内政部: -
10.48550/arXiv.1302.6043 arXiv: -
arXiv:1302.6043 书目代码: -
2013arXiv1302.6043G 关键词: -
计算机科学-离散数学; 计算机科学-计算机科学中的逻辑
电子打印: LMCS期刊接受的论文。 本文早期版本的扩展摘要已在ICALP’13上发表。 对前一版本的主要更改主要是在演示方面的小改进