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
Argitalpen urtea: 2002
Alea: 2477
Orrialdeak: 477-492
Mota: Biltzar ekarpena
ISSN: 1611-3349, 0302-9743
ISBN: 3540442359
Argitalpen urtea: 2002
Alea: 2477
Orrialdeak: 477-492
Mota: Biltzar ekarpena