On the equivalence problem for E-pattern languages

From MaRDI portal
Publication:1389770