A `best-of-breed' approach for designing a fast algorithm for computing fixpoints of Galois connections

From MaRDI portal
(Redirected from Publication:527183)