Susanna Cozza

Available identifiers

zbMath Open cozza.susannaMaRDI QIDQ2457797

List of research outcomes

Publication	Date of Publication	Type
Finitely recursive programs: decidability and bottom-up computation	2012-04-16	Paper
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs	2009-11-10	Paper
Computable Functions in ASP: Theory and Implementation	2009-01-22	Paper
Decidable Fragments of Logic Programming with Value Invention	2008-10-30	Paper
External sources of knowledge and value invention in logic programming	2007-10-23	Paper

Research outcomes over time

This page was built for person: Susanna Cozza