Login / Signup

Undecidability of the trace coding problem and some decidable cases.

Michal Kunc
Published in: Theor. Comput. Sci. (2004)
Keyphrases
  • coding scheme
  • data sets
  • special case
  • description logics
  • coding method
  • database systems
  • first order logic
  • image coding
  • expressive power
  • case base
  • inter frame
  • query containment
  • exptime complete