Reuse of results in termination analysis of typed logic programs
- Bruynooghe, M.
- Codish, M.
- Genaim, S.
- Vanhoof, W.
ISSN: 1611-3349, 0302-9743
ISBN: 3540442359
Any de publicació: 2002
Volum: 2477
Pàgines: 477-492
Tipus: Aportació congrés
ISSN: 1611-3349, 0302-9743
ISBN: 3540442359
Any de publicació: 2002
Volum: 2477
Pàgines: 477-492
Tipus: Aportació congrés