Preuves formelles automatiques et calcul formel - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Preuves formelles automatiques et calcul formel

Dates et versions

hal-04194328 , version 1 (02-09-2023)

Identifiants

Citer

Loïc Pottier. Preuves formelles automatiques et calcul formel. Journées nationales de calcul formel, 2011, Luminy, France. pp.1-25, ⟨10.5802/ccirm.15⟩. ⟨hal-04194328⟩

Collections

INRIA INRIA2 JNCF
8 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More