On first-order definitions of subgraph isomorphism properties

DOI10.1134/S1064562417050167zbMath1423.03114MaRDI QIDQ679970

M. E. Zhukovskii

Publication date: 22 January 2018

Published in: Doklady Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

05C99: Graph theory

03C13: Model theory of finite structures

05C40: Connectivity

03C07: Basic properties of first-order languages and structures