Travelled to:1 × Italy
1 × USA
Collaborated with:P.J.d.S.Azevedo C.S.Kwok
Talks about:program (2) transform (1) recomput (1) implicit (1) definit (1) lemmat (1) logic (1) free (1)
Person: Marek J. Sergot
DBLP: Sergot:Marek_J=
Contributed to:
19941988Wrote 2 papers:
- ICLP-1994-AzevedoS #program transformation
- Recomputation-Free Lemmatization by Program Transformation (PJdSA, MJS), pp. 739–740.
- JICSCP-1988-KwokS88 #logic programming #source code
- Implicit Definition of Logic Programs (CSK, MJS), pp. 374–385.