C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Symbolic computation of differential equivalences.
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Published in:
POPL (2016)
Keyphrases
</>
connected components
imperative programs
databases
case study
relational algebra
automated deduction
multimedia
multiscale
neural network
digital libraries
computer simulation