Global Caching for the Alternation-free μ-Calculus.

Daniel Hausmann Lutz Schröder Christoph Egger

Published in: CoRR (2016)

Keyphrases

database
real time
databases
genetic algorithm
website
decision trees
knowledge representation
data access
prefetching