Equivalence Checking of Non-deterministic Operations.

Sergio Antoy Michael Hanus

Published in: CoRR (2019)

Keyphrases

real time
knowledge base
image processing
database
multiscale
multi agent systems
data warehouse
black box
datalog programs
randomized algorithms
boolean operations
interactive dynamic influence diagrams