Complexity hierarchies and higher-order cons-free term rewriting

Cynthia Louisa Martina Kop, Jakob Grue Simonsen

10 Downloads (Pure)

Original language	English
Article number	8
Journal	Logical Methods in Computer Science
Volume	13
Issue number	3
Number of pages	29
ISSN	1860-5974
DOIs	https://doi.org/10.23638/LMCS-13(3:8)2017
Publication status	Published - 7 Aug 2017

Access to Document

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

}

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

SN - 1860-5974

VL - 13

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 3

M1 - 8

ER -