SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Dino Pedreschi
Latest
Helping Your Docker Images to Spread Based on Explainable Models
Implementations of Program Composition Operations
Modular Logic Programming
Meta for Modularising Logic Programming
Theory Construction in Computational Logic
Logic Programming within a Functional Framework
Universal Quantification by Case Analysis
Cite
×