Login / Signup

What's decidable about linear loops?

Toghrul KarimovEngel LefaucheuxJoël OuaknineDavid PurserAnton VaronkaMarkus A. WhitelandJames Worrell
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • multi agent systems
  • database
  • databases
  • data mining
  • artificial intelligence
  • image processing
  • least squares
  • closed form
  • datalog programs