External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Computing Abstract Distances in Logic Programs

Ignacio Casso, José F. Morales, Pedro López-García 0001, Roberto Giacobazzi, Manuel V. Hermenegildo. Computing Abstract Distances in Logic Programs. In Maurizio Gabbrielli, editor, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers. Volume 12042 of Lecture Notes in Computer Science, pages 57-72, Springer, 2019. [doi]

Authors

Ignacio Casso

This author has not been identified. Look up 'Ignacio Casso' in Google

José F. Morales

This author has not been identified. Look up 'José F. Morales' in Google

Pedro López-García 0001

This author has not been identified. Look up 'Pedro López-García 0001' in Google

Roberto Giacobazzi

This author has not been identified. Look up 'Roberto Giacobazzi' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google
runs on