TY  - RPRT
TI  - Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
AU  - Argimiro Arratia
AU  - Carlos E. Ortiz
PY  - 2015
DO  - 10.1093/logcom/exx007
UR  - https://arxiv.org/abs/1511.02175
ID  - 1511.02175
ER  -