Travelled to:1 × France
1 × USA
Collaborated with:P.Y.Gloess A.Adam
Talks about:paramodul (1) algorithm (1) interact (1) program (1) manipul (1) rewrit (1) dynam (1) tool (1) ad (1)
Person: Jean-Pierre H. Laurent
DBLP: Laurent:Jean=Pierre_H=
Contributed to:
1981
1980Wrote 2 papers:
- ICSE-1981-AdamGL #interactive
- An Interactive Tool for Program Manipulation (AA, PYG, JPHL), p. 460–?.
- CADE-1980-GloessL #algorithm
- Adding Dynamic Paramodulation to Rewrite Algorithms (PYG, JPHL), pp. 195–207.