Login / Signup

Polynomial Termination Over ℕ Is Undecidable.

Fabian MitterwallnerAart Middeldorp
Published in: FSCD (2022)
Keyphrases
  • term rewrite systems
  • sufficient conditions
  • multiscale
  • special case
  • rewrite rules
  • data sets
  • neural network
  • real world