Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests.

Published in: POPL (2015)

Keyphrases

significant improvement
computationally efficient
theoretical analysis
worst case
learning algorithm
computational cost
data mining techniques
orders of magnitude
times faster
language learning
databases
data structure
data model
optimization problems