Presburger-Definable Parameterized Typestates.

Ashish Mishra Deepak D'Souza Y. N. Srikant

Published in: CoRR (2017)

Keyphrases

transitive closure
first order logic
answer sets
data sets
artificial intelligence
databases
machine learning
database systems
relational databases
evolutionary algorithm
pattern matching