Login / Signup

Symbolic computation of differential equivalences.

Luca CardelliMirco TribastoneMax TschaikowskiAndrea Vandin
Published in: Theor. Comput. Sci. (2019)
Keyphrases