Login / Signup

Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words.

Turlough Neary
Published in: STACS (2015)
Keyphrases
  • keywords
  • complex systems
  • n gram
  • knowledge representation
  • description logics
  • distributed systems
  • intelligent systems