A Theory of Arrays with set and copy Operations.

Stephan Falke Carsten Sinz Florian Merz

Published in: SMT@IJCAR (2012)

Keyphrases

real time
theoretical framework
databases
multi agent systems
genetic algorithm
clustering algorithm
expert systems
probabilistic model
theoretical basis