Equivalence of Finite-Valued Symbolic Finite Transducers.

Margus Veanes Nikolaj Bjørner

Published in: Ershov Memorial Conference (2015)

Keyphrases

finite automata
finite number
database
data sets
data mining
unit length
special case
finite sets