Travelled to:1 × Italy
1 × USA
Collaborated with:∅
Talks about:general (2) approach (1) regular (1) program (1) languag (1) theori (1) number (1) induct (1) order (1) logic (1)
Person: Henrik Boström
DBLP: Bostr=ouml=m:Henrik
Contributed to:
19961990Wrote 2 papers:
- ICML-1996-Bostrom #induction #logic programming #regular expression #source code
- Theory-Guideed Induction of Logic Programs by Inference of Regular Languages (HB), pp. 46–53.
- ML-1990-Bostrom #approach #order
- Generalizing the Order of Goals as an Approach to Generalizing Number (HB), pp. 260–267.