TY  - RPRT
TI  - Unifying lower bounds for algebraic machines, semantically
AU  - Thomas Seiller
AU  - Luc Pellissier
AU  - Ulysse Léchine
PY  - 2024
UR  - https://arxiv.org/abs/1811.06787
ID  - 1811.06787
ER  -