Towards computing abstract distances in logic programs
- Casso, I.
- Morales, J.F.
- López-García, P.
- Hermenegildo, M.V.
ISSN: 2075-2180
Année de publication: 2019
Proceedings - 35th International Conference on Logic Programming (Technical Communications), ICLP 2019
Volumen: 306
Type: Communication dans un congrès