Travelled to:1 × USA
1 × United Kingdom
Collaborated with:H.Schütz N.Eisinger S.Panne
Talks about:implement (1) function (1) generat (1) effici (1) compil (1) model (1) logic (1)
Person: Tim Geisler
DBLP: Geisler:Tim
Contributed to:
1997
1996Wrote 2 papers:
- PLILP-1997-EisingerGP #logic
- Logic Implemented Functionally (NE, TG, SP), pp. 351–368.
- CADE-1996-SchutzG #compilation #generative #performance
- Efficient Model Generation through Compilation (HS, TG), pp. 433–447.