Volume: Vol-4003 CILC 2025 | Year: 2025

Paper: « paper27 | paper31 | paper32 »

Verification of Coverability in Positive Interactive Datalog Programs

• Francesco Di Cosmo

PDF