Algorithms for Kleene algebra with converse.

Paul Brunet Damien Pous

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

optimization problems
orders of magnitude
data structure
computational cost
computational efficiency
recently developed
real time
learning algorithm
computational complexity
databases
neural network
case study
query language
computationally efficient
machine learning algorithms