Complexity hierarchies and higher-order cons-free term rewriting
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Complexity hierarchies and higher-order cons-free term rewriting. / Kop, Cynthia Louisa Martina; Simonsen, Jakob Grue.
In: Logical Methods in Computer Science, Vol. 13, No. 3, 8, 07.08.2017.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Kop, CLM & Simonsen, JG 2017, 'Complexity hierarchies and higher-order cons-free term rewriting', Logical Methods in Computer Science, vol. 13, no. 3, 8. https://doi.org/10.23638/LMCS-13(3:8)2017
APA
Kop, C. L. M., & Simonsen, J. G. (2017). Complexity hierarchies and higher-order cons-free term rewriting. Logical Methods in Computer Science, 13(3), [8]. https://doi.org/10.23638/LMCS-13(3:8)2017
Vancouver
Kop CLM, Simonsen JG. Complexity hierarchies and higher-order cons-free term rewriting. Logical Methods in Computer Science. 2017 Aug 7;13(3). 8. https://doi.org/10.23638/LMCS-13(3:8)2017
Author
Bibtex
@article{455ebc9b6981476b86630b82ad7b294a,
title = "Complexity hierarchies and higher-order cons-free term rewriting",
author = "Kop, {Cynthia Louisa Martina} and Simonsen, {Jakob Grue}",
year = "2017",
month = aug,
day = "7",
doi = "10.23638/LMCS-13(3:8)2017",
language = "English",
volume = "13",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "International Federation for Computational Logic",
number = "3",
}
RIS
TY - JOUR
T1 - Complexity hierarchies and higher-order cons-free term rewriting
AU - Kop, Cynthia Louisa Martina
AU - Simonsen, Jakob Grue
PY - 2017/8/7
Y1 - 2017/8/7
U2 - 10.23638/LMCS-13(3:8)2017
DO - 10.23638/LMCS-13(3:8)2017
M3 - Journal article
VL - 13
JO - Logical Methods in Computer Science
JF - Logical Methods in Computer Science
SN - 1860-5974
IS - 3
M1 - 8
ER -
ID: 189255275