Deduction modulo theory

Gilles Dowek 1, *
Abstract : This paper is a survey on Deduction modulo theory
Type de document :
Communication dans un congrès
All about proofs. Proofs for all., Jul 2014, Wien, Austria
Liste complète des métadonnées

Littérature citée [61 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01101829
Contributeur : Gilles Dowek <>
Soumis le : lundi 26 janvier 2015 - 18:48:22
Dernière modification le : vendredi 25 mai 2018 - 12:02:06
Document(s) archivé(s) le : lundi 27 avril 2015 - 10:05:26

Fichiers

wien.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • HAL Id : hal-01101829, version 1
  • ARXIV : 1501.06523

Collections

Citation

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

Partager

Métriques

Consultations de la notice

276

Téléchargements de fichiers

91