Vis enkel innførsel

Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism

dc.contributor.authorBezem, Marc
dc.contributor.authorCoquand, Thierry
dc.date.accessioned2023-03-20T12:05:28Z
dc.date.available2023-03-20T12:05:28Z
dc.date.created2022-05-11T14:49:56Z
dc.date.issued2022
dc.identifier.issn0304-3975
dc.identifier.urihttps://hdl.handle.net/11250/3059241
dc.description.abstractWe solve in polynomial time two decision problems that occur in type checking when typings depend on universe level constraints.en_US
dc.language.isoengen_US
dc.publisherElsevieren_US
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.titleLoop-checking and the uniform word problem for join-semilattices with an inflationary endomorphismen_US
dc.typeJournal articleen_US
dc.typePeer revieweden_US
dc.description.versionpublishedVersionen_US
dc.rights.holderCopyright 2022 The Author(s)en_US
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode2
dc.identifier.doi10.1016/j.tcs.2022.01.017
dc.identifier.cristin2023655
dc.source.journalTheoretical Computer Scienceen_US
dc.source.pagenumber1-7en_US
dc.identifier.citationTheoretical Computer Science. 2022, 913, 1-7.en_US
dc.source.volume913en_US


Tilhørende fil(er)

Thumbnail
Filnavn:
1-s2.0-S0304397522000317-main.pdf
Størrelse:
292.2Kb
Format:
PDF
Beskrivelse:
PDF
Åpne

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel

Navngivelse 4.0 Internasjonal
Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse 4.0 Internasjonal