On the concatenation of infinite traces

From MaRDI portal
Publication:685439