Login / Signup

Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine.

Rodrigo Torres-AvilésNicolas OllingerAnahí Gajardo
Published in: RC (2012)
Keyphrases
  • turing machine
  • description logics
  • probabilistic planning
  • answering queries
  • knowledge base
  • management system
  • data management
  • data integration