Thierry Marianne
2
Documents
Publications
Publications
|
|
Automated Theorem Proving for Prolog VerificationInternational Conference on Logic Programming (ICLP), Martin Gebser; Daniela Inclezan; Francesco Ricca; Manuel Carro; Miroslaw Truszczynski, Sep 2025, Rende (CS) Italie, Italy. pp.469-481, ⟨10.4204/EPTCS.439.32⟩ |
|
|
Automated Certification of Logic Program Groundness Analysis35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Sep 2025, Rende, Italy. pp.113-122 |
Chargement...
Chargement...