Sign in

Complexity of Word Problems for HNN-Extensions.

Markus Lohrey
Published in: FCT (2021)
Keyphrases
  • word problems
  • similar problems
  • learning algorithm
  • domain knowledge
  • computer assisted