New Techniques for Proving the Decidability of Equivalence Problems.

Karel Culík II

Published in: Theor. Comput. Sci. (1990)

Keyphrases

difficult problems
database
data sets
problems involving
real world
special case
hidden markov models
optimization problems
expressive power