Login / Signup

The Word Problem of ACD-Ground Theories is Undecidable.

Claude Marché
Published in: Int. J. Found. Comput. Sci. (1992)
Keyphrases
  • word problems
  • similar problems
  • sufficient conditions
  • np complete