Login / Signup

Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity.

Eli PregersonShaheen Cullen-BaratlooDavid ChenDuy LamMax SzostakLucas Bang
Published in: FormaliSE (2023)
Keyphrases
  • recursive functions
  • worst case
  • shortest path
  • inductive inference
  • real time
  • machine learning
  • np hard
  • minimum cost