Sciweavers

75
Voted
FSTTCS
2009
Springer
15 years 24 days ago
Synthesis of Finite-state and Definable Winning Strategies
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...
Alexander Rabinovich