Baldan, P., Ranzato, F., & Zhang, L. (2022). Intensional Kleene and Rice theorems for abstract program semantics. Information and computation, 289, 104953. https://doi.org/10.1016/j.ic.2022.104953
Citace podle Chicago (17th ed.)Baldan, Paolo, Francesco Ranzato, a Linpeng Zhang. "Intensional Kleene and Rice Theorems for Abstract Program Semantics." Information and Computation 289 (2022): 104953. https://doi.org/10.1016/j.ic.2022.104953.
Citace podle MLA (9th ed.)Baldan, Paolo, et al. "Intensional Kleene and Rice Theorems for Abstract Program Semantics." Information and Computation, vol. 289, 2022, p. 104953, https://doi.org/10.1016/j.ic.2022.104953.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..