Travelled to:
1 × USA
Collaborated with:
W.Kießling U.Güntzer R.Bayer
Talks about:
exploratori (1) sloppi (1) direct (1) deduct (1) compil (1) delta (1) iter (1) goal (1)
Person: Helmut Schmidt
DBLP: Schmidt:Helmut
Contributed to:
Wrote 1 papers:
- SLP-1987-SchmidtKGB87 #compilation #deduction
- Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration (HS, WK, UG, RB), pp. 234–243.