-
1
-
2
On the inference of Turing machines from sample computations
Veröffentlicht in Artificial intelligence
VolltextArtikel -
3
-
4
-
5
Constructing Programs from Example Computations
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
6
-
7
-
8
Speeding up the Synthesis of Programs from Traces
Veröffentlicht in IEEE transactions on computers
VolltextArtikel