Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. Symbolic computation of differential equivalences. Theoretical Computer Science, 777:132-154, 2019. [doi]
@article{CardelliTTV19a,
title = {Symbolic computation of differential equivalences},
author = {Luca Cardelli and Mirco Tribastone and Max Tschaikowski and Andrea Vandin},
year = {2019},
doi = {10.1016/j.tcs.2019.03.018},
url = {https://doi.org/10.1016/j.tcs.2019.03.018},
researchr = {https://researchr.org/publication/CardelliTTV19a},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {777},
pages = {132-154},
}