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