Complexity hierarchies and higher-order cons-free term rewriting

Cynthia Louisa Martina Kop, Jakob Grue Simonsen

10 Downloads (Pure)

Originalsprog	Engelsk
Artikelnummer	8
Tidsskrift	Logical Methods in Computer Science
Vol/bind	13
Udgave nummer	3
Antal sider	29
ISSN	1860-5974
DOI	https://doi.org/10.23638/LMCS-13(3:8)2017
Status	Udgivet - 7 aug. 2017

Adgang til dokumentet

Kop_2017_Complexity_hierarchiesForlagets udgivne version, 567 KBLicens: CC BY-ND

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