Computing Abstract Distances in Logic Programs
- Casso, I.
- Morales, J.F.
- López-García, P.
- Giacobazzi, R.
- Hermenegildo, M.V.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030452599
Datum der Publikation: 2020
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers
Ausgabe: 12042 LNCS
Seiten: 57-72
Art: Konferenz-Beitrag