The Existential Fragment of the One-Step Parallel Rewriting Theory.

Aleksy Schubert

Published in: RTA (2009)

Keyphrases

theoretical framework
parallel processing
theoretical basis
parallel computing
database
data sets
learning algorithm
decision making
theoretical foundation
parallel implementation
massively parallel
general theory
formal theory