The first order definability of graphs: Upper bounds for quantifier depth
Oleg Pikhurko; Helmut Veith; Oleg Verbitsky
- 作者Oleg Pikhurko; Helmut Veith; Oleg Verbitsky
- 卷第154卷
- 期第17期
- 印刷ISSN0166-218X
- 文件大小289.06KB
- 发表时间2006
- DOI10.1016/j.dam.2006.03.002
- 页码2511-2529