Volume: Vol-3741 SEBD 2024 | Year: 2024

Paper: « paper43 | paper81 | paper30 »

Verification of Unary Communicating Datalog Programs

• Marco Montali ORCID dblp Wikidata
• C. Aiswarya ORCID dblp
• Diego Calvanese ORCID dblp Wikidata GND
• Francesco Di Cosmo dblp

185-194 PDF