TY - RPRT TI - Axioms for a theory of signature bases AU - Pierre Lairez PY - 2024 DO - 10.1016/j.jsc.2023.102275 UR - https://arxiv.org/abs/2210.13788 ID - 2210.13788 ER -