TY  - RPRT
TI  - Iterated multiplication in $VTC^0$
AU  - Emil Jeřábek
PY  - 2021
DO  - 10.1007/s00153-021-00810-6
UR  - https://arxiv.org/abs/2011.03095
ID  - 2011.03095
ER  -