First-order definitions of subgraph isomorphism through the adjacency and order relations
Grigoryan, Oleg, Makarov, Mikhail, Zhukovskii, MaksimVolume:
9
Journal:
Moscow Journal of Combinatorics and Number Theory
DOI:
10.2140/moscow.2020.9.293
Date:
October, 2020
File:
PDF, 728 KB
2020