An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus

A tétel rövid nézete
dc.contributor.authorBattyányi, Péter
dc.contributor.authorKarim, Nour
dc.date.accessioned2021-05-05T13:08:28Z
dc.date.available2021-05-05T13:08:28Z
dc.date.issued2018
dc.date.oa2021-05-10
dc.date.pasync2023-06-15T23:08:09Z
dc.date.updated2021-05-08T00:30:14Z
dc.description.correctorLB
dc.identifier.citationLogical Methods in Computer Science. -14 : 2 (2018), p. 1-35. -Log. Methods Comput. Sci. - 1860-5974
dc.identifier.issn1860-5974
dc.identifier.opachttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM094048
dc.identifier.scopus85055852173
dc.identifier.urihttp://hdl.handle.net/2437/308539
dc.identifier.urlhttps://doi.org/10.23638/LMCS-14(2:17)2018
dc.identifier.urlhttps://lmcs.episciences.org/4633
dc.identifier.wos000439433300004
dc.languageeng
dc.rights.accessopen access journal
dc.subject.mabTermészettudományok
dc.subject.mabMatematika- és számítástudományok
dc.titleAn estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus
dc.typefolyóiratcikk
dc.typeidegen nyelvű folyóiratközlemény külföldi lapban
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
FILE_UP_3_estimation LMCS.pdf
Méret:
487 KB
Formátum:
Adobe Portable Document Format
Leírás:
kiadói változat
Letöltés
Gyűjtemények
Publikációs Adatbázis