Proving Reachability Properties by Coinduction (Extended Abstract).

Published in: SYNASC (2018)

Keyphrases

extended abstract
desirable properties
database
machine learning
image processing
three dimensional
database systems
wide range
data streams
lower bound
evolutionary algorithm