Login / Signup

On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems.

Franz BaaderJürgen Giesl
Published in: FSCD (2024)
Keyphrases
  • term rewriting systems
  • small number
  • computational complexity
  • logic programs
  • functional programs
  • database
  • machine learning
  • space complexity