Bidirectional data-flow analyses compared to relational through Galois connectionsMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoNWPT 2023 - 34th Nordic Workshop on Programming Theory : Wed 22 - Thu 23 November 2023 Västerås2023 https://mdu.drive.sunet.se/index.php/s/pGqDeMWakx4dtmX Concept for CO2 mineralization by oil-shale waste ash in Estonian power productionUibu, Mai; Kuusik, Rein, keemikConference proceedings of the 3rd International Green Energy Conference : June 17-21, 2007 at Mälardalen University in Västeras, Sweden2007 / p. 12-13