F3.B — Cost Automata, Safe Schemes, and Downward Closures

ICALP 2020