Login / Signup

The power of primitive positive definitions with polynomially many variables.

Victor LagerkvistMagnus Wahlström
Published in: J. Log. Comput. (2017)
Keyphrases