6 citations · 6 across the 1 of their papers we have counts for
1 paper
Benedikt Brütsch, Wolfgang Thomas
We solve a generalized version of Church's Synthesis Problem where a play is given by a sequence of natural numbers rather than a sequence of bits; so a play is an element of the B…