Deduction modulo theory

Communication Dans Un Congrès Année : 2014

(1)

Gilles Dowek

Connectez-vous pour contacter l'auteur

This paper is a survey on Deduction modulo theory

Logique en informatique [cs.LO]

Fichier principal

wien.pdf (148.48 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-01101829

Soumis le : lundi 26 janvier 2015-18:48:22

Dernière modification le : vendredi 21 janvier 2022-03:15:40

Archivage à long terme le : lundi 27 avril 2015-10:05:26

hal-01101829 , version 1 (26-01-2015)

Paternité - Partage selon les Conditions Initiales

Gilles Dowek. Deduction modulo theory. All about proofs. Proofs for all., Jul 2014, Wien, Austria. ⟨hal-01101829⟩

INRIA INRIA2

190 Consultations

119 Téléchargements