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

Dátum
2018-12
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DETEP
Absztrakt
Leírás
Kulcsszavak
Forrás
Hivatkozás
http://hdl.handle.net/2437/261941
Gyűjtemények
DETEP IK