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:
20041998
19961995Wrote 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.