Login / Signup

Unboundedness Problems for Machines with Reversal-Bounded Counters.

Pascal BaumannFlavio D'AlessandroMoses GanardiOscar H. IbarraIan McQuillanLia SchützeGeorg Zetzsche
Published in: FoSSaCS (2023)
Keyphrases
  • application domains
  • problems involving
  • three dimensional
  • database systems
  • artificial neural networks
  • least squares
  • np complete
  • computational biology
  • main problems
  • difficult problems