TY - RPRT TI - Characterizing NC1 with Typed Monoids AU - Anuj Dawar AU - Aidan T. Evans PY - 2025 UR - https://arxiv.org/abs/2508.11019 ID - 2508.11019 ER -