Facets of Synthesis: Revisiting Church's Problem.

Wolfgang Thomas

Browse the full FOSSACS paper archive.