Equivalence of Extended Symbolic Finite Transducers.

Loris D'Antoni Margus Veanes

Published in: CAV (2013)

Keyphrases

finite automata
information retrieval
knowledge base
case study
database systems
bayesian networks
video sequences
logic programs
np complete