View in EDS PDF Full Text

Abstract Environment Trimming.

Saved in:
Bibliographic Details
Title: Abstract Environment Trimming.
Authors: JURJO-RIVAS, DANIEL1 (AUTHOR) daniel.jurjo@alumnos.upm.es, MORALES, JOSE F.1 (AUTHOR), LÓPEZ-GARCÍA, PEDRO2 (AUTHOR) pedro.lopez@csic.es, HERMENEGILDO, MANUEL V.1 (AUTHOR) manuel.hermenegildo@imdea.org
Source: Theory & Practice of Logic Programming. Jul2024, Vol. 24 Issue 4, p863-884. 22p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068424000358