English
Magyar
Bejelentkezés
Központi bejelentkeztetés
Kérjük bejelentkezéshez használja az egyetemi hálózati azonosítóját és jelszavát (eduID)!
Kategóriák és gyűjtemények
Böngészés
Statisztika
English
Magyar
Bejelentkezés
Központi bejelentkeztetés
Kérjük bejelentkezéshez használja az egyetemi hálózati azonosítóját és jelszavát (eduID)!
Digitális könyvtár
Hallgatói dolgozatok
PhD dolgozatok
Publikációk
Főoldal
További gyűjtemények
Tehetséggondozó Program (DETEP)
DETEP IK
An encoding of the lambda-calculus into the calculus of String MultiSet Rewriting
An encoding of the lambda-calculus into the calculus of String MultiSet Rewriting
Dátum
2018-12
Szerzők
Bagossy Attila
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
A tétel részletes nézete