Synthesizing Computable Functions from Rational Specifications Over Infinite Words

Emmanuel Filiot, Sarah Winter. Synthesizing Computable Functions from Rational Specifications Over Infinite Words. Int. J. Found. Comput. Sci., 35(1&2):179-214, January & February 2024. [doi]

Abstract

Abstract is missing.