Symbolic computation of differential equivalences

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Research output: Contribution to journalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Symbolic computation of differential equivalences'. Together they form a unique fingerprint.

Engineering & Materials Science