Complexity hierarchies and higher-order cons-free term rewriting

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

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

Ingen data tilgængelig

ID: 189255275

Datalogisk Institut