Resynchronized Uniformization and Definability Problems for Rational Relations

Christof Löding, Sarah Winter. Resynchronized Uniformization and Definability Problems for Rational Relations. Discrete Mathematics & Theoretical Computer Science, 25(2), 2023. [doi]

Abstract

Abstract is missing.