Abstract
We continue the study of the complexity classes VP(Zm) and ΛP(Zm) which was initiated in [AGM15]. We distinguish between " strict " and " lax " versions of these classes and prove some new equalities and inclusions between these arithmetic circuit classes and various subclasses of ACC 1 .