TY  - RPRT
TI  - Modulo quantifiers over functional vocabularies extending addition
AU  - A. Baskar
AU  - A. V. Sreejith
AU  - R. S. Thinniyam
PY  - 2025
UR  - https://arxiv.org/abs/1705.00290
ID  - 1705.00290
ER  -