Not registered as user yet

Name: Max Tschaikowski

Affiliation: IMT Institute for Advanced Studies Lucca, Italy

POPL 2016 Activities

• Author of Symbolic Computation of Differential Equivalences within the Research Papers-track in POPL 2016
• Show activities from other conferences