Congruence and homomorphism of lattice-valued tree automata

From MaRDI portal
Publication:2992571