Equivalence Checking of Non-deterministic Operations.

Sergio Antoy Michael Hanus

Published in: FLOPS (2018)

Keyphrases

data mining
artificial intelligence
arithmetic operations
learning algorithm
metadata
database systems
multiscale
data structure
object oriented
logic programs