![](/img/cover-not-exists.png)
The power of primitive positive definitions with polynomially many variables
Lagerkvist, Victor, Wahlström, MagnusLanguage:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exw005
Date:
March, 2016
File:
PDF, 381 KB
english, 2016