`Travelled to:`

1 × Germany

1 × Japan

1 × United Kingdom

`Collaborated with:`

J.F.Nilsson D.A.Basin Y.Deville P.Flener

`Talks about:`

program (5) logic (4) synthesi (2) combinatori (1) construct (1) composit (1) scheme (1) recurs (1) primit (1) predic (1)

## Person: Andreas Hamfelt

### DBLP: Hamfelt:Andreas

### Contributed to:

### Wrote 4 papers:

- PDCL-2004-BasinDFHN #logic #source code #synthesis
- Synthesis of Programs in Computational Logic (DAB, YD, PF, AH, JFN), pp. 30–65.
- LOPSTR-1998-HamfeltN #combinator #composition #induction #logic programming #source code #synthesis
- Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes (AH, JFN), pp. 143–158.
- JICSLP-1996-HamfeltN #declarative #logic programming #recursion
- Declarative Logic Programming with Primitive Recursive Relations on Lists (AH, JFN), pp. 230–243.
- ICLP-1995-NilssonH #higher-order #logic programming #source code
- Constructing Logic Programs with Higher-Order Predicates (JFN, AH), p. 827.