Normalization proofs for the un-typed mu mu'-calculus

A tétel rövid nézete
dc.contributor.authorBattyányi, Péter
dc.contributor.authorKarim, Nour
dc.date.accessioned2021-05-05T13:00:41Z
dc.date.available2021-05-05T13:00:41Z
dc.date.issued2020
dc.date.oa2021-05-10
dc.date.pasync2023-06-16T23:07:12Z
dc.date.updated2022-07-20T00:30:10Z
dc.description.correctorLB
dc.identifier.citationAIMS Mathematics. -5 : 4 (2020), p. 3702-3713. -AIMS Math. - 2473-6988
dc.identifier.doihttp://dx.doi.org/10.3934/math.2020239
dc.identifier.issn2473-6988
dc.identifier.opachttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM094046
dc.identifier.scopus85088010956
dc.identifier.urihttp://hdl.handle.net/2437/308535
dc.identifier.urlhttp://www.aimspress.com/article/10.3934/math.2020239
dc.identifier.wos000532484000059
dc.languageeng
dc.rights.accessopen access journal
dc.subject.mabTermészettudományok
dc.subject.mabMatematika- és számítástudományok
dc.titleNormalization proofs for the un-typed mu mu'-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_1_Math2019325 Proofreading (1).pdf
Méret:
231.69 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