Cite
Symbolic computation of differential equivalences.
MLA
Cardelli, Luca, et al. “Symbolic Computation of Differential Equivalences.” Theoretical Computer Science, vol. 777, July 2019, pp. 132–54. EBSCOhost, https://doi.org/10.1016/j.tcs.2019.03.018.
APA
Cardelli, L., Tribastone, M., Tschaikowski, M., & Vandin, A. (2019). Symbolic computation of differential equivalences. Theoretical Computer Science, 777, 132–154. https://doi.org/10.1016/j.tcs.2019.03.018
Chicago
Cardelli, Luca, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin. 2019. “Symbolic Computation of Differential Equivalences.” Theoretical Computer Science 777 (July): 132–54. doi:10.1016/j.tcs.2019.03.018.