Echenim, M., Iosif, R., & Peltier, N. (2022). Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules. Information processing letters, 173, . https://doi.org/10.1016/j.ipl.2021.106169
Citace podle Chicago (17th ed.)Echenim, Mnacho, Radu Iosif, a Nicolas Peltier. "Entailment Is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules." Information Processing Letters 173 (2022). https://doi.org/10.1016/j.ipl.2021.106169.
Citace podle MLA (9th ed.)Echenim, Mnacho, et al. "Entailment Is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules." Information Processing Letters, vol. 173, 2022, https://doi.org/10.1016/j.ipl.2021.106169.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..