An encoding of the [lambda]-calculus in the String MultiSet Rewriting calculus
Dátum
2024
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Természettudományok, Matematika- és számítástudományok
Jogtulajdonos
szerzők
Jelzet
Egyéb azonosító
Forrás
Acta Informatica. -61 : 2 (2024), p. 161-181. -Acta Inform. - 0001-5903
Támogatás
EFOP-3.6.3-VEKOP-16-2017-00002