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
Ano de publicación: 2002
Volume: 2477
Páxinas: 477-492
Tipo: Achega congreso
ISSN: 1611-3349, 0302-9743
ISBN: 3540442359
Ano de publicación: 2002
Volume: 2477
Páxinas: 477-492
Tipo: Achega congreso