Login / Signup

On the locality of arb-invariant first-order formulas with modulo counting quantifiers.

Frederik HarwathNicole Schweikardt
Published in: Log. Methods Comput. Sci. (2016)
Keyphrases