SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Simone Contiero
Latest
On the Interplay between Reactivity and Computation
Programming by Combining General Logic Programs
A Program Specialiser for Meta-Level Compositions of Logic Programs
The Use of Renaming in Composing General Programs
Composing General Logic Programs
Specialising Meta-level Compositions of Logic Programs
Gödel as a Meta-Language for Composing Logic Programs
Cite
×