Sciweavers

2 search results - page 1 / 1
» Game Styles, Innovation, and New Audiences: An Historical Vi...
Sort
View
FOSSACS
2009
Springer
13 years 11 months ago
Facets of Synthesis: Revisiting Church's Problem
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
Wolfgang Thomas