Concepedia

Publication | Open Access

Freeness analysis for logic programs—and correctness?

Full Paper Access

23

Citations

10

References

1993

Year

Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
Lirias (KU Leuven)

Abstract

status: Published

References

YearCitations

Page 1