Login / Signup

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).

Andrej Dudenhefner
Published in: CoRR (2022)
Keyphrases
  • higher order
  • computer vision
  • web services
  • high level
  • lower bound
  • relational databases
  • automated theorem proving