An encoding of the [lambda]-calculus in the String MultiSet Rewriting calculus

A tétel rövid nézete
dc.contributor.authorBagossy, Attila
dc.contributor.authorBattyányi, Péter
dc.date.accessioned2024-03-22T12:03:54Z
dc.date.available2024-03-22T12:03:54Z
dc.date.issued2024
dc.date.oa2024-03-25
dc.date.pasync2025-02-13T00:08:55Z
dc.date.updated2024-03-22T12:03:54Z
dc.description.correctorKTK
dc.identifier.citationActa Informatica. -61 : 2 (2024), p. 161-181. -Acta Inform. - 0001-5903
dc.identifier.doihttp://dx.doi.org/10.1007/s00236-024-00456-w
dc.identifier.issn0001-5903
dc.identifier.opachttps://ebib.lib.unideb.hu/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM119697
dc.identifier.scopus85187517803
dc.identifier.urihttps://hdl.handle.net/2437/367769
dc.identifier.urlhttps://link.springer.com/10.1007/s00236-024-00456-w
dc.identifier.wos001181279400001
dc.languageeng
dc.rights.accessopen access article
dc.rights.ownerszerzők
dc.subject.mabTermészettudományok
dc.subject.mabMatematika- és számítástudományok
dc.tenderEFOP-3.6.3-VEKOP-16-2017-00002
dc.titleAn encoding of the [lambda]-calculus in the String MultiSet Rewriting calculus
dc.typefolyóiratcikk
dc.typeidegen nyelvű folyóiratközlemény külföldi lapban
Fájlok
Gyűjtemények
Publikációs Adatbázis