Number of prefixes in trace monoids: clique polynomials and dependency graphs

From MaRDI portal
Publication:2106610