TY  - RPRT
TI  - Semirings of formal sums and injective partial transformations
AU  - Maximilien Gadouleau
AU  - Marianne Johnson
PY  - 2026
UR  - https://arxiv.org/abs/2603.26508
ID  - 2603.26508
ER  -