Profiniteness in Finitely Generated Varieties is Undecidable.

Anvar M. Nurakunov Michal M. Stronkowski

Published in: J. Symb. Log. (2018)

Keyphrases

sufficient conditions
real time
data sets
three dimensional
expert systems
np complete
automatically generated
video sequences
hidden markov models
generation process