The power of primitive positive definitions with polynomially many variables

Research output: Contribution to journal › Article › peer-review

67 Downloads (Pure)

Original language	English
Pages (from-to)	1465–1488
Number of pages	24
Journal	Journal of Logic and Computation
Volume	27
Issue number	5
Early online date	17 Mar 2016
DOIs	https://doi.org/10.1093/logcom/exw005
Publication status	Published - 1 Jul 2017

Access to Document

@article{ff549718d82d4c15ac7ac4e616f17a91,

title = "The power of primitive positive definitions with polynomially many variables",

author = "Victor Lagerkvist and Magnus Wahlstrom",

year = "2017",

month = jul,

day = "1",

doi = "10.1093/logcom/exw005",

language = "English",

volume = "27",

pages = "1465–1488",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "5",

}