8 citations · 19 across the 9 of their papers we have counts for
1 paper · 1 filter
Sarah Winter
A uniformization of a binary relation is a function that is contained in the relation and has the same domain as the relation. The synthesis problem asks for effective uniformizati…