The degree of the quasi-similarity and the pseudo-metric between predicate formulae

From MaRDI portal
Publication:3145154