Thierry Marianne

2
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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