On the congruence of the upper semilattices of recursively enumerable m- powers and tabular powers

From MaRDI portal
Publication:1244337