Cost Automata, Safe Schemes, and Downward Closures

David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys. Cost Automata, Safe Schemes, and Downward Closures. In Artur Czumaj, Anuj Dawar, Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference). Volume 168 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Abstract

Abstract is missing.