Login / Signup
Symbolic computation of differential equivalences.
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Published in:
Theor. Comput. Sci. (2019)
Keyphrases
</>
connected components
relational algebra
automated deduction
databases
artificial neural networks
digital images
imperative programs
artificial intelligence
social networks
information systems
management system
binary images