An encoding of the [lambda]-calculus in the String MultiSet Rewriting calculus
Betöltés ...
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Forrás
Acta Informatica. -61 : 2 (2024), p. 161-181. -Acta Inform. - 0001-5903
Hivatkozás
Gyűjtemények
Jóváhagyás
Áttekintés
Kiegészítve
Hivatkozik rá
Jogok és engedélyezések
open access article
szerzők
szerzők