https://logic-gu.se/seminars/2026/01/09/guillermo-badia/
Codd's Theorem for Databases over Semirings | Logic@GU
Homepage of the Logic Group at University of Gothenburg.
for databasestheoremsemiringslogicgu
https://reproducibility.nixos.social/outputs/0xvv3c2mm3cdzavs4zmzx6ji83dby27i-semirings-0.7
/nix/store/0xvv3c2mm3cdzavs4zmzx6ji83dby27i-semirings-0.7 - Lila
nixstoresemiringslila