Thierry Marianne

Publications

Communication dans un congrès (2)

Automated Theorem Proving for Prolog Verification Fred Mesnard,Thierry Marianne,Étienne Payet International 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⟩ Communication dans un congrès hal-05512035v1
Automated Certification of Logic Program Groundness Analysis Thierry Marianne,Frédéric Mesnard,Etienne Payet 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Sep 2025, Rende, Italy. pp.113-122 Communication dans un congrès hal-05273415v1