SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Roberto Gorrieri
Latest
Distributed Logic Programming
A Distributed, Net Oriented Semantics for Delta Prolog
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language
Cite
×