Login / Signup

It is undecidable whether a finite special string-rewriting system presents a group.

Paliath NarendranColm Ó'DúnlaingFriedrich Otto
Published in: Discret. Math. (1991)
Keyphrases
  • real time
  • data sets
  • case study
  • genetic algorithm
  • np complete