The automorphism group and definability of the jump operator in the ømega-enumeration degrees.

Hristo Ganchev Andrey Sariev

Published in: Arch. Math. Log. (2021)

Keyphrases

three dimensional
image sequences
markov chain
fixed point
database
neural network
case study
optimal solution
video sequences
search space
query processing
dynamic programming