An encoding of the lambda-calculus into the calculus of String MultiSet Rewriting

A tétel rövid nézete
dc.contributor.authorBagossy Attila
dc.date.accessioned2018-12-18T16:01:23Z
dc.date.available2018-12-18T16:01:23Z
dc.date.issued2018-12
dc.date.updated2018-12-18T16:01:23Z
dc.identifier.issue9
dc.identifier.urihttp://hdl.handle.net/2437/261941
dc.identifier.volume9
dc.publisherDETEP
dc.rights.holderBagossy Attila
dc.titleAn encoding of the lambda-calculus into the calculus of String MultiSet Rewriting
Fájlok
Gyűjtemények
DETEP IK