TY  - JOUR

T1  - On the first-order complexity of induced subgraph isomorphism

JO  - Logical Methods in Computer Science

PY  - 2019/01/01

AU  - Verbitsky O

AU  - Zhukovskii M

ED  - 

DO  - DOI: 10.23638/LMCS-15(1:25)2019

VL  - 15

IS  - 1

SP  - 25:1

EP  - 25:24

Y2  - 2024/12/23

ER  -