On the automorphism group of the substructure ordering of finite directed graphs
From MaRDI portal
Publication:6615246
DOI10.1007/s11083-023-09642-wMaRDI QIDQ6615246
Publication date: 8 October 2024
Published in: Order (Search for Journal in Brave)
Partial orders, general (06A06) Combinatorics of partially ordered sets (06A07) Computer assisted proofs of proofs-by-exhaustion type (68V05)
This page was built for publication: On the automorphism group of the substructure ordering of finite directed graphs