Towards computing abstract distances in logic programs

  1. Casso, I.
  2. Morales, J.F.
  3. López-García, P.
  4. Hermenegildo, M.V.
Aktak:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Argitalpen urtea: 2019

Proceedings - 35th International Conference on Logic Programming (Technical Communications), ICLP 2019

Alea: 306

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus