The power of primitive positive definitions with polynomially many variables. / Lagerkvist, Victor; Wahlstrom, Magnus.

In: Journal of Logic and Computation, Vol. 27, No. 5, 01.07.2017, p. 1465–1488.

Research output: Contribution to journalArticlepeer-review

Published

Standard

The power of primitive positive definitions with polynomially many variables. / Lagerkvist, Victor; Wahlstrom, Magnus.

In: Journal of Logic and Computation, Vol. 27, No. 5, 01.07.2017, p. 1465–1488.

Research output: Contribution to journalArticlepeer-review

Harvard

Lagerkvist, V & Wahlstrom, M 2017, 'The power of primitive positive definitions with polynomially many variables', Journal of Logic and Computation, vol. 27, no. 5, pp. 1465–1488. https://doi.org/10.1093/logcom/exw005

APA

Vancouver

Author

Lagerkvist, Victor ; Wahlstrom, Magnus. / The power of primitive positive definitions with polynomially many variables. In: Journal of Logic and Computation. 2017 ; Vol. 27, No. 5. pp. 1465–1488.

BibTeX

@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",

}

RIS

TY - JOUR

T1 - The power of primitive positive definitions with polynomially many variables

AU - Lagerkvist, Victor

AU - Wahlstrom, Magnus

PY - 2017/7/1

Y1 - 2017/7/1

U2 - 10.1093/logcom/exw005

DO - 10.1093/logcom/exw005

M3 - Article

VL - 27

SP - 1465

EP - 1488

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 5

ER -