An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus
Betöltés ...
Fájlok
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
DOI
Absztrakt
Leírás
Kulcsszavak
Forrás
Logical Methods in Computer Science. -14 : 2 (2018), p. 1-35. -(cikkazonosító)17. -Log. Methods Comput. Sci. - 1860-5974
Hivatkozás
Gyűjtemények
Jóváhagyás
Áttekintés
Kiegészítve
Hivatkozik rá
Jogok és engedélyezések
open access journal