A characterization theorem for algebraic L-domains

From MaRDI portal
Publication:3595995