Optimizing Evaluation of Logic Programs: Extended Compilation & Enhanced Rewritings
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Università della Calabria
Abstract
Description
Università della Calabria
Dipartimento di Matematica e Informatica
Dottorato di Ricerca in Matematica e Informatica
XXXVI ciclo